Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
제작자가 쓴 설명(영어 원문)
Read-only verification evidence for paid machine services and buyer policy checks.
이 세 가지는 절대 하나의 점수로 합치지 않아요. 의견, 측정, 인기는 서로 다른 것이니까요.
이 서버는 아직 쉬운 말로 된 요약을 쓰지 못했어요. 아래는 레지스트리에서 읽어 온 사실이에요.
쓰고 있는 AI 앱을 고른 다음 설정을 복사하세요.
필요한 것
어떤 앱을 쓰세요?
위에서 앱을 고르세요. 기억해 두었다가 다음부터는 버튼에 “…에 설치”라고 표시해요.
웹, 데스크톱, 모바일의 Claude에서 쓸 수 있어요:
https://verify.atinamos.co.uk/mcp터미널에서 이 명령어를 실행하세요
claude mcp add --transport http evidence https://verify.atinamos.co.uk/mcp프로젝트의 .cursor/mcp.json 또는 ~/.cursor/mcp.json에 붙여 넣으세요
{
"mcpServers": {
"evidence": {
"url": "https://verify.atinamos.co.uk/mcp"
}
}
}브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.
프로젝트의 .vscode/mcp.json에 붙여 넣으세요
{
"servers": {
"evidence": {
"type": "http",
"url": "https://verify.atinamos.co.uk/mcp"
}
}
}브라우저가 앱을 열지 물어본 다음, 앱이 설정을 보여 주고 확인을 요청해요. 키 값은 비워 두니 직접 입력하세요.
ChatGPT는 인터넷에 있는 서버에만 연결할 수 있어요:
https://verify.atinamos.co.uk/mcp메뉴 이름은 요금제나 시기에 따라 조금 다를 수 있어요.
선택한 앱은 이 기기의 쿠키에만 저장돼요. 계정은 필요 없어요.
이 설정은 제작자의 레지스트리 정보로 만들었어요. README와 다르면 README를 따르세요.
아직 이 서버의 도구 목록을 읽지 않았어요. 엔드포인트는 차례대로 돌아가며 점검해요.
누구나 볼 수 있는 정보를 점검했고, 코드는 읽지 않았어요. 해당하지 않는 항목은 개수에서 뺐어요. · 2026년 11월 8일 점검
레지스트리 이름이 도메인 atinamos.co.uk 기준으로 확인되었어요(레지스트리가 도메인 소유를 확인해요)
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
아직 GitHub에서 이 저장소를 읽어 오지 않았어요
아직 점검하지 않았어요. 엔드포인트는 차례대로 돌아가며 점검해요
아직 점검하지 않았어요. 엔드포인트는 차례대로 돌아가며 점검해요
아직 점검하지 않았어요. 엔드포인트를 점검할 때 도구 목록을 읽어요
레지스트리에서 이 카테고리의 활성 서버 전체와 비교했어요. 스타는 게시자가 저장소를 소유한 경우에만 세요.
해당하는 기본 점검 1개 중 1개를 통과했어요. 코드는 읽지 않았어요. 키나 토큰을 넣기 전에 서버가 어떤 권한을 요구하는지 확인하고, 꼭 필요한 권한만 있는 키를 쓰세요.
레지스트리에 필수 키가 나와 있지 않아요. 다만 처음 쓸 때 로그인을 요구하는 서버도 있어요.
제작자의 클라우드에서 실행돼요. 설치 없이 인터넷으로 연결하지만, 보내는 내용은 제작자의 서버를 거쳐요.
GitHub 저장소는 마지막으로 – 변경됐고, 최신 버전(1.0.0)은 2개월 전 레지스트리에 올라왔어요.
Claude Desktop, Claude Code, Cursor, VS Code처럼 MCP를 지원하는 앱에서 쓸 수 있어요. URL로 연결되기 때문에, 원격 MCP 서버를 지원하는 앱(예: 개발자 모드의 ChatGPT)에서도 쓸 수 있어요.
같은 카테고리에는: Spec Driven Development, Remote Desktop Commander, SwarmMemo
같은 카테고리에서 다른 제작자가 만든 서버예요. 스타 순으로 정렬했어요.
카드 보는 법:↓ 주간 다운로드i★ GitHub 스타i세 기둥: 리뷰 · 점검 · 사용 정도i업데이트 = 최신 버전을 레지스트리에 공개한 날i
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.
Talk with agent swarms: rooms, private messages and paid tasks for AI agents
제작자의 저장소에서 쓰인 그대로 가져왔어요. PopNx MCP가 검토하거나 보증한 내용이 아니에요. HTML, 이미지, 스크립트는 제거했어요. 링크를 누르면 이 사이트를 벗어나요.
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.