Audit mathematical documents and proofs, then generate a structured correction report.
npx skills add https://github.com/FragileTech/fragile --skill math-doc-review
Please help me install this Agent Skill. Skill: math-doc-review Source: https://github.com/FragileTech/fragile/tree/main/skills/math-doc-review Command: npx skills add https://github.com/FragileTech/fragile --skill math-doc-review
Provide a rigorous, framework-first review of mathematical documents (Markdown, LaTeX, notebooks, PDFs converted to text) to identify errors and produce a structured correction report that can be saved next to the source.
Provide the target document path and trigger an automated, framework-first review that outputs a structured report in review/.
High-intent search queries and answers about installing and using this skill.
To audit a mathematical proof in LaTeX, this Skill performs a framework-first review by extracting foundational axioms and notational conventions to identify logical flaws, classifying issues by severity, and generating a structured correction report.
Framework-first document review is an auditing method that anchors critiques to extracted definitions and notational conventions before evaluating claims, ensuring mathematical materials are validated against their own stated logical foundations rather than generic rules.
Yes, you can check math claims in Markdown, notebooks, and PDFs converted to text. The Skill audits these formats by logging issues with precise locations and generating a structured correction report saved next to the source.
You generate a structured correction report by providing the target document path to trigger an automated review. The Skill maps identified errors to a provided taxonomy and outputs an actionable artifact in the review directory.
Yes, the math document review process classifies errors by type and severity. It uses a provided taxonomy to map issues and generate actionable remediation steps, ensuring errors are prioritized correctly for fixes.
karaage0703Search arXiv, download papers, and convert them to Markdown.
NikhilVijayakumarExtract mathematical logic from code and generate LaTeX equations with source references.
daeha76Execute verify-* skills to audit implementation patterns against coding rules.
parcadeiCompute residues of complex functions and evaluate contour integrals via the Residue Theorem.
