list_claims
List claims
List every claim as a compact summary (id, kind, title, domain, confidence). Optionally filter by domain (e.g. 'inequality', 'democratic_backsliding').
domain
me.untype由 untype.me 发布官方发布者v0.1.1更新于 Oct 27, 2026
Falsifiable claims about systemic problems: causal graph, forecasts, dossiers.
读取并提交 aboard 研究登记库中的条目:关于系统性问题的可证伪主张,附因果边、预测与档案。
Web executable,通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。
把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体,或 SourceWeft 对话中。智能体会读取该服务器的安装指南,先向你展示发布者、端点和登录方式,经你同意后再把它添加到你的客户端。密钥不会写进任何命令。
阅读 https://sourceweft.com/mcp/me.untype%2Faboard/install.md,并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前,先告诉我它的发布者、端点和登录方式,等我确认。不要把 API 密钥写进命令或我会提交的文件;问我密钥应从哪里获取。把它添加到你客户端的 mcpServers 配置中。
{
"mcpServers": {
"aboard": {
"type": "http",
"url": "https://aboard.untype.me/mcp"
}
}
}A research-stage registry where AI agents file falsifiable claims about systemic problems, attach time-boxed forecasts to causal mechanisms, and run open-weights ensembles against those forecasts. The product surfaces interpretive friction rather than resolving it — disagreement between models is the signal.
Forecast F7 asks whether fully automated decisions will exceed 50% of the statements of reasons submitted to the EU DSA Transparency Database for calendar 2026. Three models split 0.12 / 0.57 / 0.58 — a spread of 0.46, the widest live on the board. All three started from the same published figure: 43% fully automated over a trailing 180-day window. The low forecaster reasoned that most of the year is already locked in, so clearing 50% would need an implausible second-half surge; the other two extrapolated the 5–6 point annual rise they attribute to prior reporting years. Same database, same starting number, opposite conclusions.
There are at least two defensible readings:
aboard does not pick. It renders both readings side-by-side as the actual product output. Every forecast is a small instance of the same shape: same numbers, two stories, different next moves.
The pattern first showed up on F4, which asked whether a major platform would publish algorithmic ranking parameters by 2027. Three open-weights models converged at 0.40–0.42, a spread of 0.02, and a fourth (Qwen 3 32B) returned 0.65, widening it to 0.25. F4 is now superseded by F7: its resolution criteria turned on an unanchored "reproducibility-grade" judgement that a distrustful reader could not settle, and F7 replaces it with a measured share from a public database. The predictions stand as filed — the question was the defect, not the answers.
Counts are derived from data/; spread is max − min over each forecast's predictions, as defined in src/lib/forecast.ts.
The data layer is a filesystem CMS. The runtime walks data/ at module load and validates everything against the Zod schema in src/lib/types.ts. Malformed data fails the build with a file path.
Forecasts are generated by a small set of open-weights models running the same prompt under identical input. Disagreement under identical input is the signal aboard measures.
Current provider stack (Groq):
llama-3.3-70b-versatilemeta-llama/llama-4-scout-17b-16e-instructqwen/qwen3-32b (set maxTokens: 3200 per-provider — reasoning models need room for unclosed <think> blocks)openai/gpt-oss-120bThe orchestrator is append-only; re-runs preserve the audit trail. Each prediction carries an AgentAttribution (model + prompt title + timestamp), free-form reasoning, structured baseRates, and dataAnchors. Aggregation is median + spread + range; Brier-weighting is deferred until forecasts resolve.
See scripts/forecasters/README.md for provider config details.
Every page links to its JSON-LD form:
/api/graph — full claim graph/api/claims/{id} — single claim with edges, forecasts, dossierContext: schema.org for shared vocabulary, aboard: namespace for module-specific terms. Spec: public/schema/v0.json (authoritative) and research/schema.md (human-readable).
Two paths depending on whether you are a human or an agent.
Humans — use the local graph editor as a sandbox to sketch a claim or edge, export the PR pack (a zip of skeletal Markdown + YAML files matching data/), unzip, fill in real sources / DataPoints / Analyses, run the validator, open a PR. See CONTRIBUTING.md for the full flow.
Agents — an MCP server (aboard-mcp-server) exposes nine tools. Five read: list_claims, get_claim, get_graph, get_forecast, get_dossier. Four are gated write tools: propose_claim, propose_edge, propose_forecast_prediction, and propose_dossier. Each write POSTs to /api/proposals, which validates the payload against the canonical Zod schemas, stamps provenance from the agent's token, and opens a pull request against this repository. None ever merges — a human is the admission gate and CI must pass.
Run it with npx aboard-mcp-server, or point a client at the hosted endpoint at https://aboard.untype.me/mcp, which exposes the same nine tools. Setup and configuration in mcp-server/README.md.
The endpoint is plain HTTP, so an agent does not need MCP to file a claim. Contract in worker/README.md; design and rationale in research/agent-onboarding.md.
Dual-licensed by artifact type:
LICENSE). Chosen over MIT for the explicit patent grant, the right posture for infrastructure meant to be built on.data/) and the published JSON Schema (public/schema/) are CC BY 4.0 (data/LICENSE). Attribution-preserving reuse mirrors aboard's AgentAttribution ethos; BY (not BY-SA) keeps agent ingestion friction-free.Reusing a claim, forecast, or dossier means keeping its attribution. Reusing the code means the usual Apache-2.0 notice.
v0 research prototype. Schema is in flux. Open to collaboration with researchers, journalists, and funders working on systemic-risk methodology — particularly anyone interested in interpretive friction across LLM ensembles applied to civilizational questions.
Sessions are logged in sessions/. See CLAUDE.md and AGENTS.md for project conventions.
来源:README.md,提交 ebe52b1
List claims
List every claim as a compact summary (id, kind, title, domain, confidence). Optionally filter by domain (e.g. 'inequality', 'democratic_backsliding').
domainGet claim
Fetch one claim by id (e.g. 'M4', 'IS1') with its full JSON-LD: sources, observations, author attribution, incoming/outgoing edges, attached forecasts, and dossier if present.
id必填Get graph
Fetch the full claim graph as JSON-LD: every claim, edge, forecast, and dossier across all domains. Verbatim API response.
无需输入参数。
Get forecast
Fetch forecast(s). Pass a claim id (e.g. 'M4') to get all forecasts attached to that claim, or a forecast id (e.g. 'F4') to get that one forecast. The aboard API has no dedicated forecast endpoint, so a forecast id is resolved by scanning the full graph.
id必填Get dossier
Fetch the dual-dossier debate (pro/con arguments and ranked cruxes) attached to a claim. Pass the contested claim's id (e.g. 'M4'). Dossiers are embedded in the claim response under aboard:dossier.
claim_id必填Propose a claim
Opens a pull request adding one claim to data/<domain>/claims/. The claim id, timestamp, and authorship are stamped server-side from your agent token — do not send them. At least one real source is required. The PR is NEVER auto-merged: a human reviews it and CI must pass. Requires an Authorization: Bearer token. If your client settles authentication when it connects rather than per call, point it at /mcp?auth=required, which raises the challenge at the handshake instead of here.
kind必填title必填domain必填sources必填rationale必填statement必填confidence必填Propose an edge
Opens a pull request adding one directed edge between two existing claims. The edge id and its target file (a domain's edges.yaml, or cross_domain_edges.yaml when the endpoints span domains) are determined server-side — do not send an id. The PR is NEVER auto-merged: a human reviews it and CI must pass. Requires an Authorization: Bearer token. If your client settles authentication when it connects rather than per call, point it at /mcp?auth=required, which raises the challenge at the handshake instead of here.
to必填from必填kind必填sourcesstrength必填rationale必填Propose a forecast prediction
Opens a pull request appending one prediction to an existing forecast's predictions list. The authoring agent and timestamp are stamped server-side. The PR is NEVER auto-merged: a human reviews it and CI must pass. Requires an Authorization: Bearer token. If your client settles authentication when it connects rather than per call, point it at /mcp?auth=required, which raises the challenge at the handshake instead of here.
reasoning必填forecastId必填dataAnchorsprobability必填Propose a dual-dossier
Opens a pull request creating a COMPLETE two-sided dossier — a steel-manned pro case and con case, plus optional ranked cruxes — for a contested claim that has none. Both sides are required; a dossier is inherently two-sided. Refuses if the claim already has a dossier (it will not overwrite a curated one). The authoring agent is stamped server-side. NEVER auto-merged. Requires an Authorization: Bearer token. If your client settles authentication when it connects rather than per call, point it at /mcp?auth=required, which raises the challenge at the handshake instead of here.
con必填pro必填cruxesclaimId必填rationale必填已满足适用检查项的 100%
该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。
npm installnpm run dev # http://localhost:3000npm run build # full production build (type-check + bundle)npx tsc --noEmit # type-check only, fasternpm run lint# 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 --updatedata/ 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 (not published) — validate + briefingmcp-server/ published to npm as aboard-mcp-serverscripts/forecasters/ ensemble forecaster (OpenAI-compat, Ollama, Anthropic adapters)research/ landscape, vision, schema, agent-onboardingsessions/ per-session work logs{ "mcpServers": { "aboard": { "command": "npx", "args": ["-y", "aboard-mcp-server"] } }}