agentmods.dev

leanprover/lean-beam

Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.

This repository also configures its own agents. See what lean-beam tells them →

Open on GitHub
45Stars on the repository
3Mods indexed here, across every type
todayLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

lean-beam

01

leanprover/lean-beam

Skill Codex

Work on external Lean projects through the installed lean-beam wrapper, using speculative checks and zero-build module checkpoints instead of repeated inner-loop builds.

not rated 45 +2 changed today A SkillSpector: pass 34 tokens original Apache-2.0