Claim listing
lihaokun/frama-c-mcp-server
MCP server for Frama-C — enabling AI agents to interact with static analysis and formal verification
Claim your listing to add a tagline, logo, and category. Verified maintainers get a Verified Publisher badge and priority placement on the AgentRank index.
Leave your email to claim this listing. GitHub verification coming soon.