加载中…
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
gonzalgo 是 ChatHome Skills 收录的 MCP 条目，来源为 Official MCP Registry，质量分 73/100。 作为 Model Context Protocol 服务器，它向 Claude、Cursor、Copilot 等兼容 MCP 的 LLM 客户端暴露可直接调用的工具，让 agent 的能力超出模型内置范围。 该条目由 ChatHome Skills 的每日抓取从官方 registry 和 GitHub 发现查询中收录，每次运行都会重新核验仓库事实、新鲜度信号和安装元数据。 质量分综合了官方 registry 收录情况、可用安装命令、许可证完整性、仓库活跃度和 GitHub star 趋势，完整算法说明见来源页。安装命令已列于上方，可直接复制使用。 在将 gonzalgo 加入生产 agent 工作流前，请核对上方的最近更新日期和仓库状态——下方事实快照是最近一次抓取的时点值。
uvx gonzalgo==0.5.6运行此命令前，请先核对上游源码。
{
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"isLatest": true,
"updatedAt": "2026-09-11T06:02:18.277417Z",
"publishedAt": "2026-09-11T06:02:18.277417Z",
"statusChangedAt": "2026-09-11T06:02:18.277417Z"
}
},
"server": {
"name": "io.github.vince-gonzalez/gonzalgo",
"title": "gonzalgo",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"version": "0.5.6",
"packages": [
{
"version": "0.5.6",
"transport": {
"type": "stdio"
},
"identifier": "gonzalgo",
"runtimeHint": "uvx",
"registryType": "pypi",
"registryBaseUrl": "https://pypi.org",
"packageArguments": [
{
"type": "positional",
"value": "mcp",
"isRequired": true,
"description": "Starts the stdio server. Without it the binary runs the analysis CLI."
}
],
"runtimeArguments": [
{
"name": "--from",
"type": "named",
"value": "gonzalgo[mcp]",
"isRequired": true,
"description": "The MCP server lives behind an optional dependency so the analysis tools stay dependency-light for CLI-only users."
}
]
}
],
"repository": {
"url": "https://github.com/vince-gonzalez/gonzalgo",
"source": "github"
},
"websiteUrl": "https://f-keys.com/gonzalgo/",
"description": "Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms."
}
}