io.github.zengineco/gonzalgo
Показывает, на чём основан проверенный доказательство Lean 4 или Metamath: унаследованный sorry, доверие компилятора, аксиомы.
AIzengineco
Локальный · pypi
official
Что это
Показывает, на чём основан проверенный доказательство Lean 4 или Metamath: унаследованный sorry, доверие компилятора, аксиомы.
Как подключить
1Официальный package
pypi · gonzalgo==0.5.2
2Установить и запустить в терминале
uvx --from gonzalgo[mcp] gonzalgo==0.5.2 mcp
3Добавить в конфиг MCP-клиента (mcp.json / claude_desktop_config.json)
{
"mcpServers": {
"io-github-zengineco-gonzalgo": {
"command": "uvx",
"args": [
"--from",
"gonzalgo[mcp]",
"gonzalgo==0.5.2",
"mcp"
]
}
}
}
Вставьте блок в конфиг клиента (Claude Desktop, Claude Code, Cursor, VS Code, Cline). Команда и package собраны из полей официального MCP Registry.