IrgenSlj/agora
GitHub: IrgenSlj/agora
Agora 是一个 local-first 的 AI agent 工具信任与治理平面,用于在多 host 环境中验证、审计、策略管控 MCP server 和 Agent Skills。
Stars: 1 | Forks: 0
审计你已运行的工具 · 一次性搜索所有 registry · 拦截进入的工具 · 将其冻结为可移植的 profile
## 为什么需要它 agent 工具生态系统拥有超过 2 万个已发布的 MCP server 和快速增长的 skills 生态系统,但几乎没有任何签名/溯源规范,且有文档记录的 2025–2026 年供应链攻击记录(typosquatting server、rug-pull、描述污染、凭据窃取)——并且**完全没有撤销机制**。Agora 提供了一层验证机制:在安装和运行时验证来源、在 sandbox 中观察行为、基于证据执行策略,并能够真正执行撤销。 ## 安装 ``` npx -y agora-hub doctor # zero-install: audit every MCP server across your hosts npm i -g agora-hub && agora # or install once ``` 将 `agora` 注册为任何 MCP client(Claude Code、Cursor、Windsurf、Gemini/Codex CLI、Zed)的 MCP server——零安装命令 `npx -y agora-hub mcp`。从源码构建(需要 [bun](https://bun.sh)):`git clone` · `bun install` · `bun run build` · `bun link`。 ## 四大平面 Agora 围绕你的 agent 栈组织为四个平面(完整规范请参见 [`AGORA_BRIEF_v2.md`](./AGORA_BRIEF_v2.md)): - **Federate** —— 通过一次搜索横跨多源上游 registry(以官方 MCP Registry 为权威来源,其次是 Glama、PulseMCP 及 skills)。Agora 从不在目录规模上竞争;它的有效目录是所有人的集合,并通过 [purl](https://github.com/package-url/purl-spec) 进行去重。Smithery 和 Hugging Face 可作为非权威的可选研究来源。 - **Verify(证据)** —— 来源验证(Sigstore / npm 和 GitHub 证明)、带 rug-pull **drift**(偏移)检测的 schema 和描述哈希、记录 server 实际读取/写入/联系了哪些内容的 sandboxed `vet`,以及 canary token 窃取检测——所有这些都作为标准的 **in-toto / DSSE 证明**输出,供你检查和导出。 - **Gate(策略)** —— 真正的 policy engine([Cedar](https://www.cedarpolicy.com/)):你的 `.cedar` 规则基于证据、按项目决定可以安装、同步或提供哪些内容——外加带有防回滚的签名**撤销 feed**(这是该生态系统最明显的缺失)。 - **Manage** —— 可移植的 `agora.toml` profile 和已提交的 `agora.lock`(机器真相:确切了解已安装、已哈希、已验证的内容);针对每个 host 的 config 进行精准的原子写入;`agora serve` 将 Agora *本身*作为 MCP server 暴露给 agent,因此 agent 是第一等的次要用户。 ## 状态——实事求是 Agora 正在根据 v2.0 简报进行中期构建。上述平面描述是**设计理念**;此表是**目前的实际进度**。分阶段路线图见 [`docs/V2_EXECUTION_PLAN.md`](./docs/V2_EXECUTION_PLAN.md)。 | 能力 | 状态 | |---|---| | **Manage** —— 栈管理器、多 host adapter、`plan`/`apply`、`sync --from` | ✅ 已上线 | | **Federate** —— 多源、offline-first 目录搜索 (`agora search`) | ✅ 已上线 *(8 个源中默认查询 4 个)* | | **Gate** —— `agora acquire` 上的启发式海关关卡(注入 / 偏移 / 权限检查) | ✅ 已上线 *(正被证据 + Cedar 替换)* | | **Verify** —— Sigstore 来源 · 偏移证明 · sandboxed `vet` · 证明导出 | 🔜 构建中 (S3, S6) | | **Gate** —— Cedar policy engine · 签名撤销 feed | 🔜 构建中 (S4, S5) | | **Serve** —— 面向 agent、带策略过滤发现的 MCP server | 🔜 构建中 (S7) | **“通过了关卡”意味着没有已知的危险信号,绝不意味着“安全”。**这种区分是刻意的,并体现在每一个显示判定结果的地方。Agora 从不伪造数据或计数;如果无法连接到某个源,它会如实说明。 ## 目前可用的功能 ``` agora doctor # one table of every MCP server across all your hosts + drift agora search postgres # multi-source catalog search across upstream registries agora acquire mcp-postgres # resolve → gate → write config (the customs office) agora plan # Terraform-style diff of your stack vs. agora.toml (no writes) agora apply # reconcile host configs to match the profile agora sync --from标签:AI智能体, Lerna, MCP, MITM代理, 动态分析, 工具管理, 文档安全, 策略执行, 自动化攻击