frama-c-mcp
MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration
Rust
★ 36 stars
Last pushed 2026-10-28
License: MIT
Connect
See the repository for installation instructions: https://github.com/sysprog21/frama-c-mcp
Related servers
R
REA
Other
Reverse engineer anything from your terminal or agent with one CLI and MCP server.
★ 416,108
MCP Server
B
browser-use
Other
Browser agents and stealth cloud browsers for AI: run web tasks, fill forms, extract data.
★ 119,697
MCP Server
Reachable
P
paperclip
Other
Trending hip-hop artist momentum scores across four cultural dimensions.
★ 109,581
MCP Server
Reachable
W
World Monitor
Other
Real-time global intelligence across conflict, markets, energy, trade, shipping and cyber. 99 tools.
★ 89,877
MCP Server
Requires auth
R
ruflo
Other
AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.
★ 80,443
MCP Server
F
Front-End Checklist
Other
Review frontend code and live pages against 386 quality-gated web development rules.
★ 74,619
MCP Server