All skills Official skills Leaderboard Saved

Coding & Dev Tools9772 AI & ML5011 DevOps & Infra2864 Integrations & APIs2327 Productivity2190 Security1976 All categories →

Skills Categories Plugins Docs My skills Saved

Profile My skills Saved Collections Edit profile Submit a skill

Sort by

All Skills 25,791 ✦ Verified

Categories

AI & ML 5,011 Coding & Dev Tools 9,772 Data & Analytics 1,725 Design & Media 983 DevOps & Infra 2,864 Docs & Writing 1,294 Finance & Business 347 Integrations & APIs 2,327 Marketing & Growth 1,430 Product & Planning 1,037 Productivity 2,190 Research & Search 928 Security 1,976 Web & Frontend 1,639

Results for “theorem-proving”

2 skills

No skills found.

The open registry of AI Agent Skills: safety-reviewed SKILL.md files for Claude, Cursor, Codex & 60+ agents.

$ npm i skillmds

Explore

All Skills Categories Agents Plugins New & Latest Leaderboard

Support

About Contact npm Terms Privacy

Learn

Docs Blog Stats FAQ Submit a Skill

© 2026 SkillMD.com Skills attributed to their authors under their original licenses.

SKILLMD