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