Instructions file CodexOpenCode
AGENTS.md instructions for sandraschi/leanforge-mcp, covering agents.md -- leanforge-mcp, stack, repo layout, critical rules and lean subprocess.
0 yesterday A 1,078 tokens
original MIT
0Stars on the repository
3Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Instructions file
Claude Code instructions for sandraschi/leanforge-mcp, covering claude.md -- leanforge-mcp, what this repo does, key concepts, when working on agent.py and when working on leanclient.py.
0 yesterday A 811 tokens
original MIT