Instructions file
Instructions for yamafaktory/formal, covering formal, rust, the files that judge changes, hints and lean.
23 5d ago A 814 tokens
original MIT
Instructions file
Instructions for nasqret/lean-interact, covering claude.md — operating instructions for this repository, 0. start of every session, 1. the formalization loop, turn length, and deferred bookkeeping and when the proof is the interesting part.
10 24d ago A 4,212 tokens
original MIT
Instructions file CodexOpenCode
Instructions for epfl-lara/LeanProbe, covering agents.md, working on this repo and the bundled skill.
4 2mo ago B 1,005 tokens
original MIT
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