$ loading_
为 AI 代理提供可检索、可核验且带溯源的只读事实知识图谱。
复制安装指令，让 AI 自动完成配置 · 推荐新手
"provgraf-mcp" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。
请在 provgraf-mcp 中搜索与“项目 Alpha 发布时间”相关的已验证事实，并返回事实内容及其溯源信息。
返回匹配的事实列表，并附带来源、关系或溯源线索，便于核验。
请帮我核查这条说法是否能在 provgraf-mcp 中找到依据：‘版本 2.1 由团队 B 发布’。如果有，请展示相关溯源。
说明该说法是否存在于知识图谱中，并给出对应的溯源信息。
请列出 provgraf-mcp 中与“供应商合同”主题相关的可用事实，按相关性整理。
输出相关事实清单，帮助快速浏览该主题下已验证的信息。
研究员或分析师在让 AI 回答事实性问题前，可先用该工具搜索和核查知识图谱中的已验证事实及其溯源，减少无依据回答。由于服务是只读的，查询不会改动数据。
开发者可将它接入 AI 代理工作流，让代理列出、搜索和检查事实，而不是直接写入知识库。写操作被限制在 CLI 中，有助于保持数据写入边界清晰。
当团队需要确认某条陈述是否有来源支撑时，可以通过该工具查看事实及其 provenance。它适合需要追踪事实来源和关系的场景。
它是一个只读 MCP 服务器，暴露基于 W3C PROV 的事实知识图谱。AI 代理可以用它列出、搜索和核查带溯源的已验证事实。
不能。给定描述明确说明这是只读服务，写操作仍然限定为只能通过 CLI 完成。
它暴露的是一个 W3C PROV 知识图谱，用于表示事实及其溯源。更多实现细节见源码仓库。
帮助 AI 代理查询事实核对范围、证据缺口与审核要求，辅助审慎决策。
构建可追溯且可复现的知识图谱推理，帮助 AI 产出可审计答案
让 AI 直接查询代码库知识图谱，以更少上下文高效理解与分析代码。
通过 MCP 提供面向 RAG 与知识图谱的服务接口，便于集成检索增强能力。
将事实转为形式化证明，支持基于 Prolog 的确定性逻辑推理。
在付款前自动核验发票风险，输出放行、复核或拦截建议与置信度