GitHub repository
lean-beam
lean-beam contains 2 collected skills from ejgallego, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
2
Stars
12
updated
2026-07-15
Forks
3
Occupation coverage
1 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
lean-beam
software-developers
Use this when an AI should work on an external Lean project through the installed `lean-beam` wrapper, giving it direct efficient access to Lean's proof engine to avoid repeated inner-loop rebuilds through cheap speculative checks and zero-build module checkpoints.
2026-07-15
rocq-beam
software-developers
Use this when an AI needs the optional Rocq goal-probe surface exposed through the installed `lean-beam` wrapper while porting Rocq developments to Lean.
2026-07-08