Instructions file CodexOpenCode
Instructions for leanprover/lean-beam, covering agents.md, purpose, product priorities, public api guardrails and execution model.
24 2d ago C 1,599 tokens
original Apache-2.0
24Stars on the repository
4Mods indexed here, across every type
2d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Instructions file
Instructions for leanprover/lean-beam, a project described as: Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
24 2d ago A 11 tokens
original Apache-2.0