Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Descripción del creador (original en inglés)
Fallback capability resolver for AI agents with replay-verified discovery and x402 paid execution.
Estos tres nunca se combinan en una sola puntuación: las opiniones, las mediciones y la popularidad son cosas distintas.
Todavía no escribimos un resumen sencillo para este. Abajo están los datos que leímos del registro.
Elige la app de IA que usas y copia la configuración.
Necesitas
¿Qué app usas?
Elige tu app arriba. La recordamos, así que la próxima vez el botón dirá “Instalar en …”.
Funciona en Claude para web, escritorio y móvil:
https://missing-production-e3da.up.railway.app/mcpEjecuta esto en tu terminal
claude mcp add --transport http missing https://missing-production-e3da.up.railway.app/mcpPégalo en .cursor/mcp.json de tu proyecto, o en ~/.cursor/mcp.json
{
"mcpServers": {
"missing": {
"url": "https://missing-production-e3da.up.railway.app/mcp"
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Pégalo en .vscode/mcp.json de tu proyecto
{
"servers": {
"missing": {
"type": "http",
"url": "https://missing-production-e3da.up.railway.app/mcp"
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
ChatGPT solo se conecta a servidores en internet:
https://missing-production-e3da.up.railway.app/mcpLos nombres de los menús pueden variar un poco según el plan y con el tiempo.
Tu elección se guarda en una cookie en este dispositivo; no necesitas cuenta.
Esta configuración se genera a partir de la ficha del creador en el registro. Si el README dice otra cosa, sigue el README.
Todavía no hemos leído la lista de herramientas de este servidor; revisamos los endpoints por turnos.
Revisamos información que cualquiera puede ver; no hemos leído el código. Las revisiones que no aplican no se cuentan. · Revisado el 6 nov 2026
El nombre en el registro se verificó con la cuenta de GitHub leoleon506, dueña del repo
Todavía no hemos leído este repo en GitHub
Todavía no hemos leído este repo en GitHub
Aún sin revisar; revisamos los endpoints por turnos
Aún sin revisar; revisamos los endpoints por turnos
Aún sin revisar; leemos la lista de herramientas cuando revisamos el endpoint
Comparado con todos los servidores activos de esta categoría en el registro. Las estrellas solo cuentan cuando quien lo publica es dueño del repo.
Superó 1 de 1 revisiones básicas aplicables. No hemos leído el código. Antes de agregar una clave o un token, revisa qué acceso pide el servidor y usa una clave que tenga solo los permisos que necesitas.
El registro no indica ninguna clave obligatoria, aunque algunos servidores te piden iniciar sesión la primera vez que los usas.
Se ejecuta en la nube del creador. Te conectas por internet sin instalar nada, pero lo que envías pasa por los servidores del creador.
El repo de GitHub cambió por última vez –, y la última versión (0.2.0) llegó al registro hace 2 meses.
Las apps compatibles con MCP, como Claude Desktop, Claude Code, Cursor y VS Code. Se conecta por URL, así que también funcionan las apps que aceptan servidores MCP remotos, como ChatGPT en modo desarrollador.
En la misma categoría: Spec Driven Development, Remote Desktop Commander, AI Deprecations
Servidores de la misma categoría hechos por otros creadores, ordenados por estrellas.
Cómo leer una tarjeta:★ Estrellas de GitHubiTres pilares: reseñas · revisiones · usoiActualizado = fecha en que se publicó la última versión en el registroi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
AI model shutdown dates, replacements, change feed and webhook alerts for 8 providers.
Copiado tal cual del repo del creador. PopNx MCP no lo ha revisado ni lo respalda. Se quitaron HTML, imágenes y scripts. Los enlaces llevan fuera de este sitio.
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
MISSING currently includes:
Historical experiments and formal operational gates remain in the repository as evidence, but they are no longer the product description.
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
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
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.
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.
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.
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
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.
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.