frama-c-mcp

active

MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.