{"id":"lihaokun-frama-c-mcp-server","name":"frama-c-mcp-server","af_score":null,"security_score":null,"reliability_score":null,"what_it_does":"MCP server for Frama-C — enabling AI agents to interact with static analysis and formal verification","best_when":null,"avoid_when":null,"last_evaluated":null}