sysprog21 / frama-c-mcp
git clone https://github.com/sysprog21/frama-c-mcp.git
MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration
+0
stars, 24h · #22,698
+~0
stars, 7 days · #23,173
+~0
stars, 30 days · #29,526
36
★ total
5
forks · 1 open issues
Star history (as recorded here)
LanguageRust
LicenseMIT
Created2026-08-19 (2mo ago)
Last push1d ago
OwnerOrganization