Skills MCP Servers Marketplaces Plugins Picks

Integrated AI Coding Tool

Vibe Index Skill

Project recommendations

Search from AI tools

Developer interface

MCP Servers
/
Shannon Prover

🔧

Shannon Prover

🔧MCP Server

SkyShannonProver/shannon-prover

glama

Installation

Need more details? View full documentation on GitHub →

0

Last UpdatedJul 10, 2026

View on GitHub Back to MCP Servers

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
Site Status

Legal

Privacy Policy
Terms of Service
Status ↗

© 2026 Vibe Index. All rights reserved.

🛡️ 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.