
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 分
請在儲存庫或註冊中心條目中宣告授權條款。