Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Beschreibung vom Entwickler (englisches Original)
Read-only verification evidence for paid machine services and buyer policy checks.
Diese drei werden nie zu einer Punktzahl zusammengefasst: Meinungen, Messungen und Beliebtheit sind verschiedene Dinge.
Für diesen Server haben wir noch keine Zusammenfassung in einfacher Sprache geschrieben. Unten stehen die Fakten, die wir aus der Registry gelesen haben.
Wähle die KI-App, die du nutzt, und kopiere die Einstellungen.
Du brauchst
Welche App nutzt du?
Wähle oben deine App. Wir merken sie uns, damit der Button beim nächsten Mal „In … installieren“ anzeigt.
Funktioniert in Claude im Web, auf dem Desktop und auf dem Handy:
https://verify.atinamos.co.uk/mcpFühre das in deinem Terminal aus
claude mcp add --transport http evidence https://verify.atinamos.co.uk/mcpIn .cursor/mcp.json in deinem Projekt oder in ~/.cursor/mcp.json einfügen
{
"mcpServers": {
"evidence": {
"url": "https://verify.atinamos.co.uk/mcp"
}
}
}Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.
In .vscode/mcp.json in deinem Projekt einfügen
{
"servers": {
"evidence": {
"type": "http",
"url": "https://verify.atinamos.co.uk/mcp"
}
}
}Dein Browser fragt, ob er die App öffnen darf, dann zeigt die App die Einstellungen und bittet dich um Bestätigung. Schlüsselwerte bleiben leer, damit du sie selbst einträgst.
ChatGPT verbindet sich nur mit Servern im Internet:
https://verify.atinamos.co.uk/mcpMenünamen können sich je nach Tarif und mit der Zeit leicht unterscheiden.
Deine Auswahl bleibt in einem Cookie auf diesem Gerät; kein Konto nötig.
Diese Einstellungen werden aus dem Registry-Eintrag des Entwicklers erzeugt. Wenn in der README etwas anderes steht, folge der README.
Die Tool-Liste dieses Servers haben wir noch nicht gelesen; wir prüfen die Endpunkte reihum.
Wir prüfen Informationen, die jeder sehen kann; den Code haben wir nicht gelesen. Checks, die nicht zutreffen, werden nicht mitgezählt. · Geprüft am 8. Nov. 2026
Der Registry-Name wurde über die Domain atinamos.co.uk bestätigt (die Registry prüft, wem die Domain gehört)
Dieses Repo haben wir noch nicht von GitHub gelesen
Dieses Repo haben wir noch nicht von GitHub gelesen
Noch nicht geprüft; wir prüfen die Endpunkte reihum
Noch nicht geprüft; wir prüfen die Endpunkte reihum
Noch nicht geprüft; wir lesen die Tool-Liste, wenn wir den Endpunkt prüfen
Verglichen mit allen aktiven Servern dieser Kategorie in der Registry. Sterne zählen nur, wenn dem Herausgeber das Repo gehört.
Er hat 1 von 1 zutreffenden Basischecks bestanden. Den Code haben wir nicht gelesen. Bevor du einen Schlüssel oder Token hinzufügst, sieh nach, welche Zugriffe der Server verlangt, und nutze einen Schlüssel, der nur die Berechtigungen hat, die du brauchst.
Die Registry nennt keinen erforderlichen Schlüssel, manche Server bitten dich aber bei der ersten Nutzung, dich anzumelden.
Er läuft in der Cloud des Entwicklers. Du verbindest dich übers Internet, ohne etwas zu installieren, aber was du sendest, läuft über die Server des Entwicklers.
Das GitHub-Repo wurde zuletzt – geändert, und die neueste Version (1.0.0) kam vor 2 Monaten in die Registry.
Apps, die MCP unterstützen, etwa Claude Desktop, Claude Code, Cursor und VS Code. Er verbindet sich per URL, also funktionieren auch Apps, die Remote-MCP-Server akzeptieren, zum Beispiel ChatGPT im Entwicklermodus.
In derselben Kategorie: Spec Driven Development, Remote Desktop Commander, Filesystem MCP
Server derselben Kategorie von anderen Entwicklern, sortiert nach Sternen.
So liest du eine Karte:★ GitHub-SterneiDrei Säulen: Bewertungen · Checks · NutzungiAktualisiert = neueste Version in der Registry veröffentlichti
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.
Filesystem MCP server for AI assistants.
Unverändert aus dem Repo des Entwicklers übernommen. PopNx MCP hat den Inhalt weder geprüft noch empfiehlt es ihn. HTML, Bilder und Skripte wurden entfernt. Links führen von dieser Website weg.
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.