lean-beam
01Skill 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