Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.
2 files for Codex, OpenCode and Claude Code: lean-beam AGENTS.md, lean-beam CLAUDE.md — 1,912 tokens loaded in every session.
AGENTS.md C 1,901 tok CLAUDE.md A 11 tok These files are leanprover/lean-beam'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.