SkillAgent Search skills...⌘K

Explore Docs Trending Collections

Generate SKILL.md Format Converter Skill Improver AI Search

View All Tools →

the-omega-institute

1 skillGitHub

the-omega-institute / automath

LEAN4 AUTO YOUTUBE LIVING

🔌 MCP Serverclaude codeclaude desktop

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