siddhartha-gadgil/leanaide/05-execute-step

Claude Code and agent skill by siddhartha-gadgil/leanaide

Trust tier 2
  • community
LLM review pending
Source check pending

Checking that the SKILL.md file is still in the repository.

Install

npx vskill@latest install siddhartha-gadgil/leanaide/05-execute-step

SKILL.md

Skill: Execution

Perform the next logical deduction from the current proof plan.

  1. Justification: State exactly which theorem/axiom justifies the move.
  2. Example Sanity Check: If the deduction introduces a new lemma, equality case, claimed equivalence, or strengthened statement, test it against the examples already recorded in artifacts/02_examples.md or request skills/12_example_counterexample/SKILL.md.
  3. Recursive Trigger: If the step requires its own strategy and deconstruction, label as 'hard' and signal the Orchestrator to spawn a sub-loop.

Scope: This skill is for proof execution. In exploratory research mode, execute probes with skills/09_exploratory_probe/SKILL.md instead, unless the current probe has been converted into a precise theorem-proving subproblem.

Security

  • Security scanPassed, 100 of 100Pattern checks on the skill's files.
  • Model reviewNot runA model review is scheduled for the next rescan.

See the full security report

Quality evaluation

  • Task evaluationNot runNo evaluation yet. Run one in Skill Studio.

See evaluation results

Source

Popularity

Repository stars
119
Repository forks
17
7-day trend score
24

Stars and forks are for the whole GitHub repository, not this skill alone. Not refreshed yet.

Works with

Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.

  • Claude Code
  • Cursor
  • GitHub Copilot
  • Windsurf
  • Codex
  • Gemini CLI
  • Cline
  • Amp
  • Roo Code
  • Goose
  • Continue
  • Kilo Code
  • Junie
  • Trae
  • OpenHands
  • Qwen Code
  • AI Agent
  • Tabnine Chat
  • Sourcegraph Cody
  • Amazon Q
  • Firebase Genkit
  • Sweep
  • Devin
  • Phind
  • Mentat
  • Claude Desktop
  • Aider
  • GPT Pilot
  • Plandex
  • bolt.new
  • v0
  • Replit Agent
  • Anse
  • TypingMind
  • BetterChatGPT
  • LibreChat
  • Warp AI
  • Pieces
  • Fig AI
Embed badge
vskill VERIFIED badge
[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/siddhartha-gadgil/leanaide/05-execute-step/badge)](https://verified-skill.com/skills/siddhartha-gadgil/leanaide/05-execute-step)

Something wrong with this skill or its page? Tell us.