原型 · 预览版:收录官方注册中心里的全部服务器,每 30 分钟同步一次。评价和账户功能将在后续阶段推出。
PopNx MCP为使用 AI 的人准备的 MCP 服务器 · 用大白话讲清楚

MISSING

作者:leoleon506版本 0.2.0i★ –i在云端运行
注册名称io.github.leoleon506/missing

安装

概览

作者提供的说明(英文原文)

Fallback capability resolver for AI agents with replay-verified discovery and x402 paid execution.

PopNx MCP 的三大支柱

这三项永远不会合并成一个分数:意见、测量和人气是不同的东西。

它能帮你做什么

我们还没有为它写通俗的介绍。下面是我们从注册中心读取到的事实。

安装

选择你使用的 AI 应用,然后复制设置。

安装之前

你需要

你用的是哪个应用?

在上方选择你的应用。我们会记住它,下次按钮会显示“安装到 …”。

适用于网页版、桌面版和手机版 Claude:

  1. 打开 Settings → Connectors
  2. 点击 Add custom connector
  3. 粘贴下面的地址,然后点击 Add
  4. 如果要求登录,请登录作者的服务
SettingsConnectors1+ Add2https://…3
https://missing-production-e3da.up.railway.app/mcp

在终端中运行这条命令

claude mcp add --transport http missing https://missing-production-e3da.up.railway.app/mcp

在 Cursor 中打开

或者自己复制设置

粘贴到项目中的 .cursor/mcp.json,或 ~/.cursor/mcp.json

{
  "mcpServers": {
    "missing": {
      "url": "https://missing-production-e3da.up.railway.app/mcp"
    }
  }
}

浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。

在 VS Code 中打开

或者自己复制设置

粘贴到项目中的 .vscode/mcp.json

{
  "servers": {
    "missing": {
      "type": "http",
      "url": "https://missing-production-e3da.up.railway.app/mcp"
    }
  }
}

浏览器会先询问是否打开应用,然后应用会显示设置并请你确认。密钥的值会留空,由你自己填写。

ChatGPT 只能连接互联网上的服务器:

  1. 打开网页版 ChatGPT → Settings → Connectors (Apps)
  2. 点击 Create 或 Add(部分套餐需要先在 Advanced 中开启 Developer mode)
  3. 粘贴下面的地址,起个名字,然后保存
  4. 如果要求登录,请登录作者的服务
SettingsConnectors1+ Create2https://…3
https://missing-production-e3da.up.railway.app/mcp

菜单名称可能因套餐和版本不同而略有差异。

你的选择通过 Cookie 保存在这台设备上,无需账户。

这些设置是根据作者在注册中心的条目生成的。如果 README 的写法不同,请以 README 为准。

它能做什么

我们还没有读取这个服务器的工具列表;我们会轮流检查各个端点。

基础检查i

我们检查的是任何人都能看到的信息;我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月6日

  • ✓ 通过

    作者与仓库一致

    注册名称已通过 GitHub 账户 leoleon506 验证,该账户拥有此仓库

  • … 尚未检查

    仍在维护

    我们还没有从 GitHub 读取这个仓库

  • … 尚未检查

    有许可证

    我们还没有从 GitHub 读取这个仓库

  • … 尚未检查

    端点有响应

    尚未检查;我们会轮流检查各个端点

  • … 尚未检查

    使用 OAuth 登录

    尚未检查;我们会轮流检查各个端点

  • … 尚未检查

    工具描述中没有隐藏指令

    尚未检查;我们会在检查端点时读取工具列表

与“其他”中的其他服务器比较i

  • 星标数多于此分类中其他 32466 个服务器的 0%
  • 发布到注册中心的时间比此分类中其他 32466 个服务器的 39% 更新
  • 基础检查结果等于或优于此分类中其他 32466 个服务器的 100%

与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时,星标数才计入。

常见问题

MISSING 安全吗?

它在 1 项适用的基础检查中通过了 1 项。我们没有阅读代码。在添加密钥或令牌之前,请先看看这个服务器要求哪些权限,并使用只具备所需权限的密钥。

它需要哪些密钥或代码?

注册中心没有列出必需的密钥,不过有些服务器会在首次使用时要求你登录。

它在我的电脑上运行还是在云端?

它在作者的云端运行。通过互联网连接,无需安装,但你发送的内容会经过作者的服务器。

它还在维护吗?

GitHub 仓库最后更新于–,最新版本(0.2.0)于2个月前进入注册中心。

哪些应用可以使用它?

支持 MCP 的应用,例如 Claude Desktop、Claude Code、Cursor 和 VS Code。它通过 URL 连接,所以接受远程 MCP 服务器的应用也可以使用,例如开启开发者模式的 ChatGPT。

有什么可以替代它?

同一分类中有:Spec Driven Development, Remote Desktop Commander, HotCodePush

替代选择

同一分类中其他作者的服务器,按星标数排序。

如何看卡片:★ GitHub 星标i三大支柱:评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i

Spec Driven Development

作者:formulahendry

MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.

在你的电脑上运行★ 440MIT14个月前更新
安装

Remote Desktop Commander

作者:desktop-commander

Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.

在云端运行★ 211昨天更新
安装

HotCodePush

作者:hotcodepush-team

Manage over-the-air (OTA) updates for React Native, Expo, Capacitor and Cordova apps.

在云端运行今天更新
安装

作者的 README

打开 README

按原文从作者的仓库复制。PopNx MCP 没有审查或背书其内容。HTML、图片和脚本已被移除。链接会离开本站。

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:

agent needs capability

↓ MISSING discovery ↓ verified supply exists? ── yes ──> execute │ no ↓ durable unresolved demand ↓ trusted supply acquisition ↓ deterministic compilation + repeated live replay verification ↓ promote verified recipe ↓ future agents reuse it ↓ x402 paid resolution + positive margin

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:

npm ci

npm run build npm run missing:serve

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:

npm run mcp

Public deployment

Human-readable landing:

https://missing-production-e3da.up.railway.app/

Canonical MCP endpoint:

https://missing-production-e3da.up.railway.app/mcp

A2A Agent Card:

https://missing-production-e3da.up.railway.app/.well-known/agent-card.json

Canonical paid execution endpoint:

POST https://missing-production-e3da.up.railway.app/v1/agent/resolve

Public MCP workflow

The anonymous MCP exposes exactly four product tools:

  1. list_verified_capabilities — inspect the complete replay-verified catalog and example inputs.
  2. search_verified_capabilities — find a verified capability from a natural-language task description.
  3. record_missing_capability_demand — persist an unresolved capability need when no verified match exists.
  4. 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:

io.github.leoleon506/missing

Smithery public server:

https://smithery.ai/servers/leo-leon506/missing

Smithery-hosted MCP gateway:

https://missing--leo-leon506.run.tools

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

npm test

npm run build

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.

问 PopNx