ejgallego/lean-beam
2 skills
$npx skills add ejgallego/lean-beamSkillInstalls
lean-beamUse 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…rocq-beamUse this when an AI needs the optional Rocq goal-probe surface exposed through the installed `lean-beam` wrapper while porting Rocq developments to Lean.