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
Explorar Skills
Productividad · 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
Documentación de la Skill
GitHubCargando documentación desde el origen…