executing-plans
executing-plans
Use when executing an implementation plan in the current session as the implementer yourself — your human partner chose inline execution, or no subagent tool is available
Explorer les Skills
Productivité · SKILL.md
lean-theorem-proving-guide
lean-theorem-proving-guideLLM agent for formal theorem proving in Lean 4
Independent GitHub snapshot · Automated classification · Original documentation governs
Documentation de la Skill
GitHubChargement de la documentation depuis la source…