evidence-gate

Daily AI Agent 工具包

用于在发布前检查 AI 生成成果的本地确定性工具。

该工具包包含两个模型上下文协议（MCP）服务和六个可移植的 Agent Skills。它们会检查留存的工件、声明的主张依据、字面引文、完成契约、阻塞项和发布凭证，不会调用模型、上传文件，也不需要 Daily AI Agents 账号。

发布状态： 0.1.1 补丁版候选版本。PyPI 上的 0.1.0 已公开；此补丁修正了 MCP Registry 所有权标记的大小写敏感问题。

为什么开发这个工具包

AI 系统可以生成看似可信的输出，却无法证明所需工件确实存在、引用的文本确实出现过，或完成契约确实已满足。这些工具让此类范围有限的检查可以重复执行，并保留不确定性，而不是悄然将其升级为成功。

它们有意不判定广义上的真实性、不评估语义蕴含、不批准发布、不验证在线服务，也不证明符合相关法律或安全要求。

包含的工具

组件	接口	用途
Evidence Gate	MCP 服务，四个工具	检查工件、声明的主张证据、字面引文包含情况以及汇总验证状态。
Release Gate	MCP 服务，四个工具	检查完成契约、保留需求状态、整理阻塞项，并生成留存的发布凭证。
六个 Agent Skills	可移植的技能目录	通过确定性自测，复用工件、主张、契约、失败状态和验证流程。

Evidence Gate

• verify_artifact
• audit_claims
• audit_citations
• summarize_verification

Release Gate

• check_contract
• evaluate_completion
• format_blockers
• build_release_receipt

Agent Skills

• artifact-verifier
• claim-truth-gate
• completion-contract
• contract-checker
• fail-loud
• verification-bench

安装和运行

需要 Python 3.11 或更高版本。

python -m pip install dailyaiagents-evidence-gate==0.1.1
python -m pip install dailyaiagents-release-gate==0.1.1

dailyai-evidence-gate --root /absolute/path/to/workspace
dailyai-release-gate --root /absolute/path/to/workspace

在软件包公开发布之前，请从干净的检出版本安装：

python -m pip install ./servers/evidence-gate ./servers/release-gate

两个服务都使用 MCP stdio 传输。客户端配置示例如下：

{
  "mcpServers": {
    "dailyai-evidence-gate": {
      "command": "dailyai-evidence-gate",
      "args": ["--root", "/absolute/path/to/workspace"]
    },
    "dailyai-release-gate": {
      "command": "dailyai-release-gate",
      "args": ["--root", "/absolute/path/to/workspace"]
    }
  }
}

请参阅客户端配置，了解支持的传输边界。

重现验证

运行完整的本地检查：

bash scripts/test-all.sh

此候选版本包含：

• 两个服务的单元测试；
• 六个技能各自的确定性自测；
• 覆盖全部八个 MCP 工具的 20 个声明结果示例；
• 根路径保护和符号链接逃逸防护；
• 干净 wheel 安装和 stdio 工具发现检查；
• 针对各软件包的校验和、SBOM 和构建来源证明。

请参阅示例、技术报告、凭证架构、发布和恢复流程以及本地验证记录。本地检查通过，仅能证明其凭证中注明的条件和范围。

架构和安全边界

当前的仓库控制措施和故障时关闭的发布门禁记录于仓库控制措施。

MCP client
   |  stdio + structured inputs
   v
Evidence Gate / Release Gate
   |  canonical path resolution beneath --root
   v
Local retained files  --->  structured status + scoped receipt

这些服务不会使用网络访问、遥测、模型推理、任意 shell 执行或托管的 Daily AI Agents 基础设施。输入会被视为数据，而不是 shell 片段。仅包含 URL 的证据仍为 UNVERIFIED，字面引文包含情况不等于语义支持。

在敏感工作中使用此工具包前，请阅读 SECURITY.md 和威胁模型。

项目负责人

该工具包由 Cooper Reed（Daily AI Agents LLC 创始人）构思并主导；其实现、测试、发布工程和文档则作为公开工程项目开发。关于该工具包的公开声明应链接到本仓库中可复现的检查或留存的发布证据。

Contributing and support

• Contributing guide
• Support policy
• Release process
• Changelog

Apache-2.0 licensed.