MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration
Last commit October 14, 2026, 27 days ago.
33 GitHub stars and 0 Honeystax upvotes. Copy the install, test the workflow, then decide if it earns a permanent slot.
You can test this quickly and remove it cleanly if it misses.
Starts at 6. Added: GitHub health not measured +10, no security policy +8, no contributing guide +4, no code of conduct +3.
AI Agent
Universal
Model
Multiple
Fastest way to find out if frama-c-mcp belongs in your setup.
Copy the install command, run a real test, and back it out cleanly if it slows you down.
claude mcp add frama-c-mcp -- npx frama-c-mcpRun this first. You will know quickly if the workflow earns a permanent slot.
claude mcp remove frama-c-mcpNo messy cleanup loop. If it misses, remove it and keep moving.
Install Location
~/ └─ .claude.json └─ mcp_servers/ └─ frama-c-mcp ← registers here
frama-c-mcp is listed on Honeystax as a MCP Server for Universal, since October 4, 2026. Its code is at github.com/sysprog21/frama-c-mcp, with 33 GitHub stars. Last commit October 14, 2026, 27 days ago.
Source: GitHub repository
Source check: October 15, 2026
Upstream commit: October 14, 2026
Repository state: Not marked archived
Honeystax upvotes are community interest signals, not star ratings. GitHub stars and repository health are source measurements; editorial risk and trial-cost notes are Honeystax analysis.