AGENTRANK
sysprog21/frama-c-mcp
MCP server that gives AI agents Frama-C: EVA, WP, and sandboxed ACSL iteration
50
/ 100
Stars
41
Freshness
100
Issue health
0
Contributors
0
Dependents
0