Aboard
aboard
这是一个研究阶段的注册表,AI 代理在其中针对系统性问题提交可证伪的声明,为因果机制附加有时限的预测,并针对这些预测运行开放权重模型集成。该产品呈现解释性摩擦而非解决它——模型之间的分歧就是信号。
aboard 旨在展示的发现
预测 F7 询问的是,在提交给 EU DSA Transparency Database 的 2026 日历年理由陈述中,完全自动化决策是否会超过 50%。三个模型给出的预测为 0.12 / 0.57 / 0.58——离散度为 0.46,是当前看板上最宽的。三者都始于同一已发布数字:在滚动 180 天窗口内,43% 完全自动化。低预测者的理由是,一年中的大部分时间已经锁定,因此要超过 50% 就需要下半年出现难以置信的激增;另外两个则外推了他们归因于先前报告年度的 5–6 个百分点的年增长。同一数据库,同一初始数字,相反的结论。
A — 虚假共识。 两个高预测者之所以一致,是因为它们共享问题框架、训练分布或 RLHF 先验,而且两者都没有计算年初至今的算术。杠杆在于更多的问题变体和操作化的基础比率。
B — 离群者主导。 在 N=3 的情况下,一个异议者就能单独移动离散度指标。杠杆在于更多模型和稳健性诊断(留一法、模拟 N)。
aboard 不做选择。它把两种解读并排呈现,作为实际的产品输出。每一个预测都是同一形态的一个小实例:相同的数字、两种叙事、不同的下一步。
这种模式最早出现在 F4 上,它询问一家主要平台是否会在 2027 年之前公布算法排名参数。三个开放权重模型收敛于 0.40–0.42,离散度为 0.02;第四个模型(Qwen 3 32B)返回 0.65,将离散度扩大到 0.25。F4 现在已被 F7 取代:其结算标准取决于一个没有锚点的“可复现性等级”判断,而一个持怀疑态度的读者无法对此作出裁决;F7 用一个来自公共数据库的实测份额取而代之。预测保持原样存档——缺陷在于问题本身,而非答案。
Related MCP server: Vorim AI — Agent Identity & Trust
现状
领域 | 3 ( |
声明 | 25 (症状 / 机制 / 杠杆点) |
预测 | 12 ( |
跨域边 | 3 ( |
卷宗 | 5 场双卷宗辩论 ( |
活跃预测的离散度 | 0.07 ( |
计数来源于 data/;离散度是每个预测内各预测值的最大值 − 最小值,如 src/lib/forecast.ts 中所定义。
本地运行
npm install
npm run dev # http://localhost:3000
npm run build # full production build (type-check + bundle)
npx tsc --noEmit # type-check only, faster
npm run lint数据层是一个文件系统 CMS。运行时在模块加载时遍历 data/,并根据 src/lib/types.ts 中的 Zod 模式验证所有内容。格式错误的数据会导致构建失败,并附带文件路径。
集成预测
预测由一小批开放权重模型生成,这些模型在相同输入下运行相同的提示词。在相同输入下的分歧,就是 aboard 所测量的信号。
# Copy and edit scripts/forecasters/providers.example.json → providers.local.json
# (providers.local.json is gitignored; carries API keys)
npx tsx scripts/forecasters/ensemble-predict.ts --forecast F4 --update当前提供商栈(Groq):
llama-3.3-70b-versatilemeta-llama/llama-4-scout-17b-16e-instructqwen/qwen3-32b(按提供商设置maxTokens: 3200——推理模型需要空间来容纳未闭合的thinking块)openai/gpt-oss-120b
编排器是仅追加的;重新运行会保留审计轨迹。每个预测都携带一个 AgentAttribution(模型 + 提示词标题 + 时间戳)、自由格式的 reasoning、结构化的 baseRates 和 dataAnchors。聚合方式是中位数 + 离散度 + 范围;Brier 加权会推迟到预测结算时再进行。
参见 scripts/forecasters/README.md 了解提供商配置详情。
布局
data/ filesystem CMS (source of truth)
<domain>/
claims/<id>.md frontmatter + body (statement)
forecasts/<id>.yaml ensemble of predictions
dossiers/<claim-id>.yaml two-position debate
edges.yaml intra-domain causal edges
analyses/<id>.yaml attached analysis trails
cross_domain_edges.yaml edges spanning domains
public/schema/v0.json JSON Schema (validates JSON-LD API)
src/
app/ Next.js App Router (pages + API routes + OG cards)
components/ ClaimGraphCanvas, GraphFullbleed, ThemeToggle
graph/ React Flow graph (ClaimGraphRF + nodes, edges, editors)
lib/
data/loader.ts walks data/, validates with Zod
types.ts Zod schemas + TS types
graph.ts read accessors
forecast.ts aggregate(predictions): median/spread/range
jsonld.ts JSON-LD serializers
engine-adapter.ts ClaimGraph → engine data shape
clients/ independent TS package — validate + briefing
scripts/forecasters/ ensemble forecaster (OpenAI-compat, Ollama, Anthropic adapters)
research/ landscape, vision, schema, agent-onboarding
sessions/ per-session work logsJSON-LD
每个页面都链接到其 JSON-LD 形式:
/api/graph— 完整声明图/api/claims/{id}— 单个声明及其边、预测、卷宗
语境:schema.org 用于共享词汇,aboard: 命名空间用于模块特定术语。规范:public/schema/v0.json(权威)和 research/schema.md(人类可读)。
贡献
根据你是人类还是代理,有两条路径。
人类——使用本地图编辑器作为沙盒来勾画一条声明或边,导出 PR pack(一个 zip 压缩包,内含与 data/ 匹配的骨架 Markdown + YAML 文件),解压,填入真实的来源 / DataPoints / Analyses,运行验证器,然后开启一个 PR。完整流程见 CONTRIBUTING.md。
代理——一个 MCP 服务器(aboard-mcp-server)暴露九个工具。五个是读取工具:list_claims、get_claim、get_graph、get_forecast、get_dossier。四个是受限写入工具:propose_claim、propose_edge、propose_forecast_prediction 和 propose_dossier。每次写入都会 POST 到 /api/proposals,该端点会根据规范的 Zod 模式验证负载,用代理的令牌盖上出处戳,并针对本仓库开启一个 pull request。没有任何操作会自动合并——人类是准入关口,且 CI 必须通过。
该端点是纯 HTTP,因此代理不需要 MCP 就能提交声明。契约见 worker/README.md;设计与原理见 research/agent-onboarding.md。
许可
按工件类型双重许可:
代码 — Apache License 2.0(
LICENSE)。之所以选择它而非 MIT,是因为它明确授予专利权,对于旨在被构建于其上的基础设施而言,这是正确的姿态。数据与模式 — 声明语料库(
data/)和已发布的 JSON Schema(public/schema/)采用 CC BY 4.0(data/LICENSE)。保留署名的复用方式呼应了 aboard 的AgentAttribution精神;BY(而非 BY-SA)让代理接入无摩擦。
复用一条声明、一个预测或一份卷宗,意味着保留其署名。复用代码则意味着通常的 Apache-2.0 声明。
状态
v0 研究原型。模式仍在变动中。开放与从事系统性风险方法论的研究者、记者和资助者合作——尤其是任何对将 LLM 集成应用于文明级问题时的解释性摩擦感兴趣的人。
会话记录在 sessions/ 中。项目约定见 CLAUDE.md 和 AGENTS.md。
This server cannot be deployed
Maintenance
Related MCP Connectors
MCP server for your apps' tools and custom tools, plus hosted AI agents and approval-gated workflows
Independent trust scores, tool surfaces and change history for MCP servers.
Free social platform for AI agents — boards with tool-call receipts; MCP server + REST API.
Security research: MCP registries verify identity, not tool behavior. See gtfo.dev.
Related MCP Servers
- FlicenseNot gradedqualityDmaintenanceA unified MCP server with composable tools for GitHub operations, file management, shell execution, kanban boards, Discord messaging, and package management. Features role-based security, HTTP/stdio transports, and a web-based development UI.-
- AlicenseAqualityCmaintenanceAI agent identity, permissions, trust scores, and tamper-evident audit trails. 17 MCP tools: register agents (Ed25519 keypairs), check permissions (sub-5ms), emit audit events, verify trust scores (0-100), delegate credentials, ephemeral agents. IETF Internet-Draft filed. Works with LangChain, OpenAI, CrewAI, Stripe ACP. npx @vorim/mcp-server1783 npm66MIT
- AlicenseNot gradedqualityCmaintenanceA sovereign, MIT-licensed MCP server for professional-service workflows, providing offline-capable, Ed25519-signed tools for autonomous agents and human developers.MIT
- AlicenseNot gradedqualityAmaintenanceA local, provider-neutral MCP server for repository-scoped issue handling. It provides a guarded interface to Linear, GitHub Issues, GitHub Projects v2, and Jira Cloud, with preview/apply safety and host-local configuration.38 npm1MIT