Copy the config for your editor. Some servers may need additional setup — check the README.
Add to claude_desktop_config.json:
{
"mcpServers": {
"lean-ctx": {
"command": "cargo",
"args": [
"run",
"--",
"lean-ctx"
]
}
}
}