
MISSING
io.github.leoleon506由 GitHub 账号 leoleon506 发布v0.2.0更新于 Nov 2, 2026
Fallback capability resolver for AI agents with replay-verified discovery and x402 paid execution.
概览
远程 MCP 服务器,让助手查询经回放验证的能力、按任务描述搜索、记录缺失需求,并准备 x402 付费执行。
- 可以做什么
- 查看完整的回放验证能力目录及示例输入
- 用自然语言任务描述搜索已验证能力
- 在没有匹配项时把未解决的能力需求持久记录为需求
- 为某个确切的已验证能力准备付费执行,返回包含价格、请求体和 x402 说明的 payment_required 交接信息
- 适用场景
- 当助手缺少某项能力、希望寻找已有的已验证提供方而不是直接放弃或凭空编造时适用;也适用于愿意在 MCP 之外走 x402 支付流程来真正执行提供方的情况。
- 运行要求
- 需要一个远程 Streamable HTTP 端点;未声明认证、环境变量或请求头。付费执行通过独立的 HTTP x402 流程在解析端点上完成,因此该步骤需要能签署 x402 支付的钱包或支付客户端。
安装
在 SourceWeft 中
- 打开 控制台中的 MISSING,将其添加到工作区。
- 为需要使用其工具的对话启用该服务。
Web executable,通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。
交给智能体安装
把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体,或 SourceWeft 对话中。智能体会读取该服务器的安装指南,先向你展示发布者、端点和登录方式,经你同意后再把它添加到你的客户端。密钥不会写进任何命令。
阅读 https://sourceweft.com/mcp/io.github.leoleon506%2Fmissing/install.md,并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前,先告诉我它的发布者、端点和登录方式,等我确认。不要把 API 密钥写进命令或我会提交的文件;问我密钥应从哪里获取。其他 MCP 客户端
把它添加到你客户端的 mcpServers 配置中。
{
"mcpServers": {
"missing": {
"type": "http",
"url": "https://missing-production-e3da.up.railway.app/mcp"
}
}
}README
MISSING — Capability Fallback Network for AI Agents
MISSING is a product runtime for agents that need a capability they do not currently have.
Instead of hallucinating support or stopping at “I cannot do that”, an agent can ask MISSING to discover an existing replay-verified capability, execute it through a verified provider recipe, or durably record the unresolved demand so the trusted acquisition loop can search for new supply.
The long-term product loop is:
Current product surface
MISSING currently includes:
- a verified capability registry and deterministic provider execution;
- multi-provider failover and capability search;
- remote MCP over Streamable HTTP;
- A2A v1 Agent Card discovery and JSON-RPC invocation;
- durable unresolved-demand telemetry;
- a public-sandbox deployment model with rate limiting and readiness/liveness endpoints;
- automatic demand-ranked provider discovery from structured API catalogs;
- OpenAPI-to-recipe compilation, grounded verification-input harvesting, repeated live replay, and durable supply promotion;
- a trusted worker/control plane for automatic acquisition outside anonymous public access;
- provider-readiness diagnostics and durable blocker/backoff handling;
- explicit provider economics, margin-aware routing, and metering;
- an autonomous agent payment endpoint using x402;
- shared PostgreSQL financial authority for multi-replica exclusion, crash recovery, settlement reconciliation, lease fencing, request binding, exact on-chain settlement proof, finality/reorg monitoring, dependency backpressure, abortable deadlines, RPC-chain identity admission, and telemetry reconciliation.
Historical experiments and formal operational gates remain in the repository as evidence, but they are no longer the product description.
Agent interfaces
Run the remote product runtime:
Primary surfaces include:
GET /— public product landing and connection guide;POST /mcp— MCP Streamable HTTP;GET /.well-known/agent-card.json— A2A Agent Card;POST /— A2A JSON-RPC;POST /v1/agent/resolve— agent-native paid resolution path when payments are enabled;GET /livez,/readyz,/healthz— operational state.
Local stdio MCP remains available with:
Public deployment
Human-readable landing:
Canonical MCP endpoint:
A2A Agent Card:
Canonical paid execution endpoint:
Public MCP workflow
The anonymous MCP exposes exactly four product tools:
list_verified_capabilities— inspect the complete replay-verified catalog and example inputs.search_verified_capabilities— find a verified capability from a natural-language task description.record_missing_capability_demand— persist an unresolved capability need when no verified match exists.resolve_capability— prepare paid execution for an exact verified capability.
Discovery and catalog inspection are free. resolve_capability does not execute a provider inside MCP and does not charge the caller. It returns a payment_required handoff containing the current price, exact request body, canonical /v1/agent/resolve endpoint, and recovery-safe x402 instructions.
The subsequent HTTP x402 flow performs provider execution and settlement. Agents should preserve the exact request body and exact PAYMENT-SIGNATURE for recovery and should not create a second authorization for a payment already associated with a known transaction.
Public discovery
MISSING is published in the official MCP Registry as:
Smithery public server:
Smithery-hosted MCP gateway:
MISSING is also indexed by Glama from its public MCP/Registry surface.
Third-party MCP directories should point to the existing remote Streamable HTTP endpoint rather than deploy or proxy a second MISSING runtime. PUBLIC_DISTRIBUTION.md records the current Smithery and Glama distribution procedure.
The x402 402 Payment Required challenge advertises Bazaar discovery metadata while the durable payment, request-binding, settlement, finality, fencing, and recovery state machine remains unchanged.
Trust boundary
MISSING does not treat discovery as proof.
A discovered provider lead cannot become executable merely because its documentation looks relevant. Automatic supply must pass deterministic compilation and replay-verification gates before promotion. Unknown demand remains unknown until that boundary is crossed.
Paid execution also fails closed around authoritative payment state. A successful provider call alone is not customer revenue; revenue is recognized only after settlement succeeds.
Current phase: Real Agent Loop 2
Kappa.5 and Operational Readiness 1–9 established the money/recovery and dependency-safety envelope. Real Agent Loop 1 then crossed the first live commercial boundary: production emitted GO_REAL_AGENT_PAID_CLOSED_LOOP from two distinct settled Base-mainnet payments reusing the same demand-derived promoted recipe with positive realized margin.
The current uncertainty is no longer whether the loop can happen once. It is whether MISSING can reproduce the commercial loop autonomously across independent capabilities:
Can at least two different external-agent demands each be selected by the trusted control plane, autonomously become replay-verified promoted supply, and each generate repeated positive-margin paid reuse?
REAL_AGENT_LOOP_2.md defines the preregistered proof contract.
Qualifying RAL2 promotions carry durable trusted-control-plane provenance (acquisition_path plus control_plane_run_id) so direct/manual promotion cannot be confused with autonomous acquisition evidence.
CI may validate the proof machinery but cannot claim the live commercial outcome. Only production ledgers plus real settled PostgreSQL rows on approved value networks may eventually emit:
GO_AUTONOMOUS_COMMERCIAL_REPLICATION
Tests
The repository keeps experimental evidence, product milestones, and operational-readiness gates separate so a passing synthetic/formal test cannot be mistaken for live market evidence.
Historical experiments
The project began by testing whether an explicit fallback tool changes an agent's behavior when a needed capability is absent. Those preregistration-oriented experiments remain under experiments/ and the corresponding experiment source/workflow files.
They are retained as historical scientific evidence. Product code does not rewrite their provenance or promote newly discovered providers as experimental results.
来源:README.md,提交 db3705f
工具
0版本历史
1- v0.2.0最新Sep 16, 2026
评分
已满足适用检查项的 75%
该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。
- 近 30 天内可连通必需25 分
- 已声明认证方式必需10 分
- 已列出工具必需15 分
请让服务器在无凭据时响应 tools/list,或发布可在沙箱中无凭据启动的软件包。
- 描述必需15 分
- 图标10 分
- 文档15 分
- 许可证10 分
请在仓库或注册中心条目中声明许可证。