Agent Skills: proof-structure-analyzer
Analyze and restructure mathematical proofs for clarity and completeness
theorem-provingID: a5c-ai/babysitter/proof-structure-analyzer
244
Install this agent skill to your local
Skill Files
Browse the full folder contents for proof-structure-analyzer.
Loading file tree…
Select a file to preview its contents.