Banguiskode 发布 tau-agent：面向 LLM 智能体的独立验证 harness，兼容 Hermès 与 Claude Code

GitHub 开源项目 tau-agent 是一个独立的 LLM 智能体 harness，支持 Hermès、Claude Code 及兼容 runtime，用于验证智能体完整轨迹（LLM → 工具调用 → 结果 → 决策 → 终态）而非仅最终文本。它提供确定性 replay、负向 mutations、mutation matrix 与 compare_agents.py 多智能体对比，并以 mission_gate.py 串联轨迹验证、replay 和 Tau 门三级检查。整个轨迹通过单次 solve 合成，点修订由 Tau 合并可满足的命题并拒绝矛盾命题，实测两次调用的会话修订约 0.2 s。