Copy the config for your editor. Some servers may need additional setup — check the README.
Add to claude_desktop_config.json:
{
"mcpServers": {
"invariance-mcp": {
"command": "npx",
"args": [
"-y",
"invariance-ai/invariance-mcp"
]
}
}
}