Loading connector details…
Frama C Mcp Server
MCPOpen SourceMIT26.4
by lihaokun • Uncategorized
MCP server for Frama-C — enabling AI agents to interact with static analysis and formal verification
Description
MCP server for Frama-C — enabling AI agents to interact with static analysis and formal verification
Quick Actions
Quick Stats
Service TypeMCP
Pricing ModelFree
Capabilities0 Tools / 0 Prompts / 0 Resources
Ownerlihaokun
CategoryUncategorized
TagsNo tags