加载中…
Evaluate agent workflows and LLMs on your own data: find wasted steps, pick models, catch drift.
LLM Prover 是 ChatHome Skills 收录的 MCP 条目，来源为 Official MCP Registry，质量分 100/100。 本目录条目没有收录对应的 GitHub 仓库。下面的命令是来源记录的原文，并不能证明每个客户端都能一键完成安装。MCP 服务器向客户端暴露可调用的工具；agent 技能是一组可复用的指令。此条目是MCP 服务器。该条目由 ChatHome Skills 的每日抓取从官方 registry 和 GitHub 发现查询中收录，每次运行都会重新核验仓库事实、新鲜度信号和安装元数据。 质量分综合了官方 registry 收录情况、可用安装命令、许可证完整性、仓库活跃度和 GitHub star 趋势，完整算法说明见来源页。在将 LLM Prover 加入生产 agent 工作流前，请核对仓库推送日期和仓库状态——下方事实快照是最近一次抓取的时点值。
mcp add com.pysolvr/llmprover https://mcp.llmprover.pysolvr.com/mcp下面的命令是来源记录的原文，并不能证明每个客户端都能一键完成安装。
运行此命令前，请先核对上游源码。
{
"_meta": {
"io.modelcontextprotocol.registry/official": {
"status": "active",
"isLatest": true,
"updatedAt": "2026-11-09T13:17:53.015675Z",
"publishedAt": "2026-11-09T13:17:53.015675Z",
"statusChangedAt": "2026-11-09T13:17:53.015675Z"
}
},
"server": {
"name": "com.pysolvr/llmprover",
"icons": [
{
"src": "https://llmprover.pysolvr.com/brand/llmprover-logo-light-400.png",
"sizes": [
"400x400"
],
"theme": "light",
"mimeType": "image/png"
},
{
"src": "https://llmprover.pysolvr.com/brand/llmprover-logo-dark-400.png",
"sizes": [
"400x400"
],
"theme": "dark",
"mimeType": "image/png"
}
],
"title": "LLM Prover",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"remotes": [
{
"url": "https://mcp.llmprover.pysolvr.com/mcp",
"type": "streamable-http"
}
],
"version": "1.0.0",
"websiteUrl": "https://llmprover.pysolvr.com",
"description": "Evaluate agent workflows and LLMs on your own data: find wasted steps, pick models, catch drift."
}
}