Lean theorem prover MCP: automated proof search, mathlib integration, job management
Latest release v0.1.0 · 28 Aug 2026
These files are sandraschi/leanforge-mcp's own configuration. They tell Codex, OpenCode and Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.
AGENTS.md A 1,078 tok CLAUDE.md A 811 tok