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