OpenAgentSkill Registry Manifest
Skill: ReProver
Slug: lean-dojo-reprover
Category: ml-automation
Description: Retrieval-Augmented Theorem Provers for Lean

Agent fit:
- Decision: 41/100 Needs manual review
- Primary fit: RAG and knowledge
- Role: Needs validation

Supply profile:
- Track: Coding and developer agents
- Scenario: Coding agents
- Applicable agents: Claude Code, CLI, Codex, Cursor, Python
- Maintenance: 1y since push
- Risk: Needs review

Trust:
- Trust score: 73/100 Strong shortlist
- Audit: 67/100 Needs review

Attribution:
- Status: Community indexed
- Source: GitHub star discovery
- Creator: lean-dojo
- Claim URL: https://www.openagentskill.com/skills/lean-dojo-reprover#claim-this-skill

Install:
npx skills add lean-dojo/ReProver

URLs:
- Web: https://www.openagentskill.com/skills/lean-dojo-reprover
- API: https://www.openagentskill.com/api/agent/skills/lean-dojo-reprover
- Install API: https://www.openagentskill.com/api/skills/lean-dojo-reprover/install
- Repository: https://github.com/lean-dojo/ReProver