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
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