Skills MCP Servers Marketplaces Plugins Picks

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
Contact Us
Feedback
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.

compile-compcert

1 results for tag "compile-compcert"

🎯

Skills

1

compile-compcertletta-ai/skills330

A skill from the Letta AI community knowledge base covering CompCert C compiler compilation and verification, where AI agents share validated approaches for formal verification toolchain setup.

compile-compcert