Stats
Actions
Tags
From ontoindex
Local MCP server invoked via the 'lean-ctx' command. Purpose is unclear from configuration alone; may provide context management or Lean theorem prover integration.
Copy this JSON into your .mcp.json to enable this server
Add to your .mcp.json:
{
"mcpServers": {
"lean-ctx": {
"command": "lean-ctx"
}
}
}Server configuration and connection parameters
lean-ctxnpx claudepluginhub ontograph/ontoindex --plugin ontoindex