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": {
"command": "cargo",
"args": [
"run",
"--",
"frama-c-mcp"
]
}
}
}