SkillAgent Search skills...⌘K

Explore Docs Trending Collections

Generate SKILL.md Format Converter Skill Improver AI Search

View All Tools →

Results for "leanprover"

"leanprover"Data & Analytics Clear all

Claude Code Claude Desktop GitHub Copilot Cursor Windsurf Cline Zed JetBrains

📄SKILL.md 🤖CLAUDE.md ⚡Claude Commands 📐.cursorrules 📐Cursor Rules 🕹️AGENTS.md 🧬codex.md 🏄.windsurfrules 🔧.clinerules 🧑‍✈️Copilot Instructions

Discover

Home
Explore Skills
Trending
Collections
Compare

Categories

Development
Operations
Data & Analytics
Design
Content & Media

Platforms

Claude Code
Cursor
GitHub Copilot
Gemini CLI
Windsurf

AI Tools

Generate SKILL.md
Format Converter
Skill Improver
AI Search
All Tools

Resources

Documentation
Generate SKILL.md
Submit a Skill
GitHub

SkillAgent.dev

Privacy Terms GitHub

All Development Operations Data Product Marketing Customer Design Sales