📦
Frama C MCP Server
MCP server for Frama-C — enabling AI agents to interact with static analysis and formal verification
0 installs
Trust: 34 — Low
Devtools
Ask AI about Frama C MCP Server
Powered by Claude · Grounded in docs
I know everything about Frama C MCP Server. Ask me about installation, configuration, usage, or troubleshooting.
0/500
Loading tools...
Reviews
Documentation
No README available