proof-derivation-forensics
CommunityValidate the integrity of written mathematical proofs.
Software Engineering#proof analysis#proof integrity#proof auditing#logical consistency#mathematical verification
Authorwanshuiyin
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill analyzes written mathematical proofs for logical soundness, identifying any gaps, circular reasoning, or incorrect steps that may invalidate the proof.
Core Features & Use Cases
- Proof Integrity Analysis: Audits the logical consistency of written mathematical proofs.
- Use Case: Utilize this Skill to verify the validity of a theorem's proof in a research paper, ensuring that all steps are sound and correctly justified.
Quick Start
Run the 'proof-derivation-forensics' skill with the LaTeX source of the proof.
Dependency Matrix
Required Modules
mcp__codex__codex
Components
scriptsreferencesassets
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: proof-derivation-forensics Download link: https://github.com/wanshuiyin/Anti-Autoresearch/archive/main.zip#proof-derivation-forensics Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 620,000+ vetted skills library on demand.