Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Descripción del creador (original en inglés)
Read-only verification evidence for paid machine services and buyer policy checks.
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://verify.atinamos.co.uk/mcpEjecuta esto en tu terminal
claude mcp add --transport http evidence https://verify.atinamos.co.uk/mcpPégalo en .cursor/mcp.json de tu proyecto, o en ~/.cursor/mcp.json
{
"mcpServers": {
"evidence": {
"url": "https://verify.atinamos.co.uk/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": {
"evidence": {
"type": "http",
"url": "https://verify.atinamos.co.uk/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://verify.atinamos.co.uk/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 8 nov 2026
El nombre en el registro se verificó con el dominio atinamos.co.uk (el registro comprueba quién es dueño del dominio)
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 (1.0.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, Pronounce
Servidores de la misma categoría hechos por otros creadores, ordenados por estrellas.
Cómo leer una tarjeta:↓ Descargas por semanai★ 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.
How engineers pronounce developer jargon — 1,927 confidence-tagged entries with citations.
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.
Public research, schemas and technical evidence for Atinamos independent verification of paid AI-agent and machine services.
Human-readable research: https://verify.atinamos.co.uk Technical evidence: this repository
You can pay to be tested. You cannot pay to be trusted.
Atinamos produces scoped evidence. The buyer decides what that evidence means under its own policy.
Atinamos does not issue a universal trust score, certification, approval, safe/unsafe verdict or permanent provider rating.
Read the canonical public status first:
The main technical milestone is now the first unattended generic external Assurance execution from an already-frozen plan.
service: POST https://keyronne.com/api/json-repair
run: 1b5bc844-368c-445a-8f84-e62be6d88baa adapter: generic-transaction-fulfilment v1.0 state: PLAN_FROZEN → COMPLETE spend: 0.001 USDC
One internal production coordinator invocation handled the routine paid execution stages without an operator manually stepping x402 challenge acquisition, payment signing, paid dispatch, settlement observation, fulfilment evaluation or Verification publication.
Independent Base settlement:
transaction: 0xc42bb177c41d21a56e9d3c02546fa8ebeda911cff3bc1139169a61c89f7b495c
block: 50996015
Signed evidence:
atinamos:receipt:10e40afd-f6b1-57bd-9c1e-0a4a1695a428
Observed evidence layers:
PAYMENT SETTLED
FULFILMENT FULFILLED CORRECTNESS NOT_EVALUATED QUALITY NOT_EVALUATED
The service returned the advertised kind of JSON deliverable. Atinamos did not infer semantic correctness or quality from that fulfilment.
The Keyronne run began at PLAN_FROZEN.
It proves:
frozen independent plan
→ real bounded external purchase → independent Base settlement observation → fulfilment evidence → immutable Verification package → signed receipt → COMPLETE
It does not yet prove the complete public seller journey:
raw seller URL
→ non-spending discovery → scope explanation → independent frozen plan → seller funding → durable queue → proven Runner → signed evidence
That seller product journey is now the main development lane.
PROVEN ENGINE
↓ SELLER PRODUCT ↓ FIRST USERS ↓ REVENUE / MARKET FEEDBACK
Human seller productisation comes first. A later AI-seller API/MCP should use the same underlying Assurance run/order model rather than introducing another execution engine.
On 6 September 2026, Atinamos completed the first end-to-end external deterministic commissioning of the current Assurance Runner → Verification publication path against:
POST https://api.ibanforge.com/v1/iban/validate
Two bounded x402 calls were made at 0.005 USDC each. Settlement was independently observed on Base, useful fulfilment returned, and the returned valid field matched independently derived ISO 13616 MOD-97 expectations for one valid and one invalid fixture.
total observed test spend: 0.010 USDC
Base settlements observed: 2 successful fulfilments: 2 independent controls passed: 2 / 2 signed Assurance receipts: 2
That run was human-triggered commissioning. It remains an important earlier milestone and should not be retroactively described as unattended.
On 28 August 2026, an Atinamos-operated bounded buyer was given a task, maximum spend and buyer policy. It independently searched an external x402 marketplace, checked exact-route viability, queried published Atinamos evidence, applied its own policy, selected an external seller without the human naming the seller, made a bounded payment, consumed the result and validated the purchased output.
Final clean run:
selected seller: Keyronne JSON Repair
payment: 0.001 USDC on Base x402: v2 / exact paid HTTP: 200 proof3_complete: true
This proves the controlled Atinamos buyer experiment. It does not establish widespread external-agent adoption of Atinamos evidence.
Also on 28 August 2026, Atinamos observed an unrelated external client purchase Atinamos JSON Repair for 0.005 USDC through x402 and receive successful HTTP fulfilment.
This establishes external commercial use of an Atinamos machine service. It does not establish that the purchaser was definitely an autonomous AI agent.
The repository deliberately retains successful and unsuccessful observations, including:
See EVIDENCE_INDEX.md for the current consolidated index.
Atinamos keeps these evidence layers separate:
PAYMENT
Did payment settle?
FULFILMENT Did the advertised kind of deliverable return?
CORRECTNESS Was the returned content independently checked?
QUALITY Was subjective quality independently evaluated?
Guardrails:
UNKNOWN != UNSAFE
SETTLED != FULFILLED FULFILLED != CORRECT CORRECT != HIGH QUALITY SIGNED RECEIPT != PERMANENT TRUST SAMPLE COUNT != RELIABILITY PERCENTAGE
Endpoint and HTTP method are material evidence identity where applicable.
AI agents and developers can query selected published Atinamos evidence through the read-only Atinamos Evidence MCP:
https://verify.atinamos.co.uk/mcp
The MCP exposes published evidence and buyer-supplied policy evaluation. It does not expose wallet access, payment signing, verification-triggering writes or a universal trust verdict.
Atinamos exposes a bounded read-only projection of machine-service discovery observations:
GET https://verify.atinamos.co.uk/v1/market/search?q=<query>&limit=<1-50>
GET https://verify.atinamos.co.uk/v1/market/service/
Market Search reports observed listings and provenance. A market listing is not verification evidence.
Current signed Assurance evidence can be read using:
GET https://verify.atinamos.co.uk/v1/assurance/receipts/<receipt_id>
GET https://verify.atinamos.co.uk/v1/assurance/evidence?endpoint= &method=
Endpoint and HTTP method are material evidence identity.
Historical evidence should remain valid in the format in which it was issued rather than being silently rewritten.
This repository is the deliberately sanitised public technical publication layer for Atinamos Verification and Assurance research.
It may contain:
It does not contain:
GitHub is not where Atinamos Verification runs. It is where Atinamos publishes selected technical evidence and documentation for public scrutiny and machine consumption.
Copyright © 2026 MotionFil-AI.
See LICENSE.md for details.