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
goedel-prover-formal-theorem-proving
goedel-prover-formal-theorem-provingTrain language models for formal theorem proving via expert iteration with verifier-guided self-correction and checkpoint merging.
Independent GitHub snapshot · Automated classification · Original documentation governs
Documentation de la Skill
GitHubChargement de la documentation depuis la source…