Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "frama-c-mcp-server": {
      "command": "uvx",
      "args": [
        "frama-c-mcp-server"
      ]
    }
  }
}

Or install with pip: pip install frama-c-mcp-server

README Excerpt

A Model Context Protocol (MCP) server implementation for the Frama-C formal verification framework. This server enables dynamic plugin discovery, C code analysis, and structured proof obligation checking through a standardized MCP interface. - **Dynamic Plugin Discovery**: Automatically discovers available Frama-C plugins and their capabilities

frama-c-mcp-server

Quick Install

README Excerpt

Related Code/Dev Tools Servers