skills.rest
czh-ee-2023
czh-ee-2023COMMUNITY
Explore all skills by this author →
WebsiteGitHub

proof-writer

Generate rigorous mathematical proofs with dependency mapping and verification.

Updated Jun 7, 2026
Search Tags:#theorem proving#mathematics#proof generation#proof verification#lemma proving
One-click install
npx skills add https://github.com/czh-ee-2023/zotero-aris --skill proof-writer-czh-ee-2023
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: proof-writer
Source: https://github.com/czh-ee-2023/zotero-aris/tree/main/.claude/skills/proof-writer
Command: npx skills add https://github.com/czh-ee-2023/zotero-aris --skill proof-writer-czh-ee-2023

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) components.

What problem does it solve?

This Skill streamlines the creation of precise and rigorous mathematical proofs, eliminating the complexities and nuances that often arise in the process.

Core Features & Use Cases

  • Automated Proof Generation: Generates rigorous mathematical proofs for claims, theorems, lemmas, or propositions.
  • Customizable Output: Outputs proofs in a variety of styles (concise, detailed, appendix-ready) and ensures notation and assumptions are clearly defined.
  • Dependency Map & Verification: Provides a dependency map and performs a final verification of each step in the proof for completeness and correctness.
  • Blockage Reports: Identifies when a proof cannot be completed honestly and provides blockage reports explaining the issues.

Quick Start

Run the 'proof-writer' skill with the theorem statement and assumptions as input. Example: "Prove the Riemann hypothesis with the assumption that the zeta function is analytically extendable to the whole complex plane."

Frequently Asked Questions about proof-writer

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I generate rigorous mathematical proofs for theorems and lemmas?▼

Automated proof generation works by normalizing the theorem statement, performing feasibility triage, mapping dependencies, and verifying each step to ensure rigorous mathematical correctness.

What is the best way to verify the completeness of a generated mathematical proof?▼

The best way to verify mathematical proof completeness is to use a tool that performs final verification of each step and outputs a dependency map, ensuring all assumptions are clearly defined and logically sound.

Can I customize the output style when generating proofs for academic research?▼

Yes, automated proof generation outputs can be customized into concise, detailed, or appendix-ready styles, ensuring notation and assumptions are clearly defined for academic research.

Does automated proof generation work with research-level mathematics?▼

Automated proof generation applies to research-level mathematics and proof development in academic writing by automating normalization, feasibility triage, and dependency mapping for complex theorems.

What happens when a mathematical proof cannot be completed automatically?▼

When a mathematical proof cannot be completed honestly, the system generates blockage reports that identify the specific issues and explain why the proof cannot be finalized.

How do I map dependencies when proving complex mathematical lemmas?▼

Automated proof generation maps dependencies by analyzing the theorem and assumptions, then outputs a dependency map detailing the logical structure and intermediate steps required for proving complex mathematical lemmas.

Related Skills

Explore More Education & Research Skills→
ExuberantWitnessExuberantWitness
1

flux-proof-writer

Generate rigorous mathematical proofs and formalize logical derivations in Markdown.

Community
Intermediate
flonatflonat
127

math-proof

Generate rigorous step-by-step mathematical proofs with explicit sign justification.

Community
Advanced
parcadeiparcadei
3.9k

analytic-functions

Verify analyticity via Cauchy-Riemann equations and compute power series expansions.

Community
Intermediate
jeffrey-dot-lijeffrey-dot-li
2

refactor

Refactor existing Lean proofs for brevity, clarity, and documentation.

Community
Intermediate