<< Back to skillsPopularityWorks with
Claude Code
Cursor
GitHub Copilot
Windsurf
Codex
Gemini CLI
ClineAmp
Markdown
T3 VERIFIED
Skill v1.0.0(1 version)siddhartha-gadgil/leanaide/bounding-extremal
siddhartha-gadgil·AI/ML·siddhartha-gadgil/leanaide·math-reasoning-system/skills/techniques/order/bounding_extremal/SKILL.md ↗·Updated Jun 19, 2026
Source check pending
This skill was recently updated. Verifying source availability...
siddhartha-gadgil/leanaide
community
Install# npm $ npx vskill@latest install siddhartha-gadgil/leanaide/bounding-extremal # bun $ bunx vskill@latest install siddhartha-gadgil/leanaide/bounding-extremal # pnpm $ pnpx vskill@latest install siddhartha-gadgil/leanaide/bounding-extremal # yarn $ yarn dlx vskill@latest install siddhartha-gadgil/leanaide/bounding-extremal # alternative $ npx vskill@latest install siddhartha-gadgil/leanaide --skill bounding-extremal
No evaluation data available yetView eval results →
119stars17forks07d trend
Works with all 39 vskill-compatible agents
Embed badge
[](https://verified-skill.com/skills/siddhartha-gadgil/leanaide/bounding-extremal)