Skills MCP Servers Marketplaces Plugins Picks

Integrated AI Coding Tool · Beta

Vibe Index Skill

Project recommendations

Search from AI tools

Developer interface

Everything you need for vibe coding. Real-time updates on skills, plugins, MCP servers, and marketplaces.

Resources

Skills
MCP Servers
Marketplaces
Plugins

Support

About Us
Intro Seminar
Contact Us
Sync Activity

Legal

Privacy Policy
Terms of Service

© 2026 Vibe Index. All rights reserved. Operated by JoLab

🛡️ Security scanning active on all resources

Vibe Index is an independent, community-driven directory. Not affiliated with, endorsed by, or sponsored by Anthropic, Vercel, Microsoft, or any other company whose tools are listed here. All product names and trademarks are the property of their respective owners.

autoprove

1 results for tag "autoprove"

🏪

Marketplaces

1

cameronfreer-lean4-skillscameronfreer/lean4-skills2012

Enables Claude to systematically develop, analyze, and automate formal mathematical proofs in Lean 4 through integrated theorem proving commands, specialized agents, and workflow tools.

community autoformalize autoprove+8