プロトタイプ · プレビュー版：公式レジストリのすべてのサーバーを掲載し、30分ごとに同期しています。レビューとアカウント機能は今後のステップで始まります。
PopNx MCPAIを使う人のためのMCPサーバー · やさしい言葉で解説
初心者モード オン
配色システムに合わせるライトダーク
言語ไทยEnglish中文日本語한국어EspañolDeutsch
☰ メニュー設定
初心者モード オン
配色システムに合わせるライトダーク
言語ไทยEnglish中文日本語한국어EspañolDeutsch

Atinamos Evidence

作者：Atinamosバージョン 1.0.0i★ –iクラウドで動く
レジストリ名uk.co.atinamos/evidence

インストール

概要

作者による説明（英語の原文）

Read-only verification evidence for paid machine services and buyer policy checks.

PopNx MCPの3つの柱

この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。

できること

このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。

  • 接続方法: クラウドで動く
  • トランスポート: Streamable HTTP
  • カテゴリ: その他

インストール

使っているAIアプリを選んで、設定をコピーしてください。

インストールの前に

  • 基本チェック：1項目中1項目に合格
  • 作者のサーバーで動きます。あなたが頼んだ内容は、作者のサーバーを通ります。
  • レジストリには、入力が必要なキーは載っていません。

必要なもの

どのアプリを使っていますか？

上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。

ウェブ、デスクトップ、モバイルのClaudeで使えます：

  1. Settings → Connectors を開く
  2. Add custom connector を押す
  3. 下のアドレスを貼り付けて Add を押す
  4. サインインを求められたら、作者のサービスにサインインする
SettingsConnectors1+ Add2https://…3
https://verify.atinamos.co.uk/mcp

ターミナルでこれを実行します

claude mcp add --transport http evidence https://verify.atinamos.co.uk/mcp

Cursorで開く

または、設定を自分でコピーする

プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます

{
  "mcpServers": {
    "evidence": {
      "url": "https://verify.atinamos.co.uk/mcp"
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

VS Codeで開く

または、設定を自分でコピーする

プロジェクトの .vscode/mcp.json に貼り付けます

{
  "servers": {
    "evidence": {
      "type": "http",
      "url": "https://verify.atinamos.co.uk/mcp"
    }
  }
}

ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。

ChatGPTがつなげるのは、インターネット上のサーバーだけです：

  1. ウェブ版のChatGPTを開き → Settings → Connectors (Apps)
  2. Create または Add を押す（プランによっては、先に Advanced で Developer mode をオンにする必要があります）
  3. 下のアドレスを貼り付け、名前を付けて保存する
  4. サインインを求められたら、作者のサービスにサインインする
SettingsConnectors1+ Create2https://…3
https://verify.atinamos.co.uk/mcp

メニューの名前は、プランや時期によって少し違うことがあります。

選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。

この設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。

できること

このサーバーのツール一覧はまだ読み取っていません。エンドポイントは順番にチェックしています。

基本チェックi

誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月8日にチェック

  • ✓ 合格

    作者とリポジトリが一致

    レジストリ名はドメイン atinamos.co.uk で確認済みです（レジストリがドメインの所有を確認しています）

  • … 未チェック

    今もメンテナンスされている

    このリポジトリはまだGitHubから読み取っていません

  • … 未チェック

    ライセンスがある

    このリポジトリはまだGitHubから読み取っていません

  • … 未チェック

    エンドポイントが応答する

    まだチェックしていません。エンドポイントは順番にチェックしています

  • … 未チェック

    OAuthでサインイン

    まだチェックしていません。エンドポイントは順番にチェックしています

  • … 未チェック

    ツールの説明に隠れた指示がない

    まだチェックしていません。エンドポイントをチェックするときにツール一覧を読み取ります

その他のほかのサーバーとの比較i

  • このカテゴリのほかの18600件のうち0%よりスターが多い
  • このカテゴリのほかの18600件のうち29%より最近レジストリに公開
  • 基本チェックの結果が、このカテゴリのほかの18600件のうち100%と同じかそれ以上

レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。

よくある質問

Atinamos Evidenceは安全ですか？

当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。

どんなキーやコードが必要ですか？

レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。

パソコンで動きますか、それともクラウドですか？

作者のクラウドで動きます。インストール不要でインターネット経由でつながりますが、送った内容は作者のサーバーを通ります。

今もメンテナンスされていますか？

GitHubリポジトリの最終更新は–、最新バージョン（1.0.0）がレジストリに届いたのは2 か月前です。

どのアプリで使えますか？

Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。URLでつながるので、リモートMCPサーバーに対応したアプリ（開発者モードのChatGPTなど）でも使えます。

代わりに使えるものは？

同じカテゴリには：Spec Driven Development, Remote Desktop Commander, alalanet — check before you pay

代わりの候補

同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。

カードの見方：↓ 週あたりのダウンロードi★ GitHubスターi3つの柱：レビュー · チェック · 利用状況i更新＝最新バージョンをレジストリに公開した日i

Spec Driven Development

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

作者：formulahendry初期↓ 66/週★ 44014 か月前更新

パソコンで動く
インストール

Remote Desktop Commander

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

作者：desktop-commander成長中★ 2113 日前更新

クラウドで動く✓ desktopcommander.app
インストール

作者のREADME

READMEを開く

作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。

Atinamos Agent Verification Research

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.

Current state — 7 September 2026

Read the canonical public status first:

  • Current Assurance / Verification state
  • Public Evidence Index

The main technical milestone is now the first unattended generic external Assurance execution from an already-frozen plan.

Keyronne JSON Repair
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.

  • Keyronne unattended generic Assurance experiment
  • Human-readable record: https://verify.atinamos.co.uk/research/unattended-generic-assurance-keyronne/
Important boundary

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.

Current development priority

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.

Earlier production milestone — IBANforge deterministic commissioning

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.

  • IBANforge external commissioning experiment

Earlier autonomous buyer milestone — Proof #3

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

  • Proof #3 research note
  • Proof #3 experiment record
  • Sanitised final buyer receipt

This proves the controlled Atinamos buyer experiment. It does not establish widespread external-agent adoption of Atinamos evidence.

First confirmed external commercial purchase of an Atinamos service

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.

  • Research note
  • Sanitised experiment record
  • Sanitised public evidence

This establishes external commercial use of an Atinamos machine service. It does not establish that the purchaser was definitely an autonomous AI agent.

Other published direct evidence

The repository deliberately retains successful and unsuccessful observations, including:

  • code402 LEI Check assurance series
  • x402Node JSON Repair
  • x402.direct Service Directory Search
  • x402engine Web Screenshot

See EVIDENCE_INDEX.md for the current consolidated index.

Evidence semantics

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.

Public Evidence MCP

AI agents and developers can query selected published Atinamos evidence through the read-only Atinamos Evidence MCP:

https://verify.atinamos.co.uk/mcp
  • MCP documentation and index
  • Quick start
  • Tool reference
  • Buyer policy reference
  • Security and scope

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.

Public Market Search

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 documentation

Market Search reports observed listings and provenance. A market listing is not verification evidence.

Assurance evidence reads

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.

Methodology and specifications

  • Evidence & Classification Methodology v1.0
  • Public Verification Receipt Specification v1.0
  • Public Verification Receipt v1 JSON Schema
  • Machine-Evidence Schema Audit — 6 September 2026

Historical evidence should remain valid in the format in which it was issued rather than being silently rewritten.

Repository purpose

This repository is the deliberately sanitised public technical publication layer for Atinamos Verification and Assurance research.

It may contain:

  • public evidence schemas;
  • sanitised verification receipts;
  • methodology suitable for technical scrutiny;
  • deliberately published experiment records;
  • public research notes;
  • machine-interface documentation;
  • examples and specifications.

It does not contain:

  • Atinamos operational source code;
  • private signing/wallet material;
  • private infrastructure credentials;
  • the private operational database;
  • unpublished anti-abuse techniques;
  • material that would materially assist gaming of Assurance tests.

GitHub is not where Atinamos Verification runs. It is where Atinamos publishes selected technical evidence and documentation for public scrutiny and machine consumption.

Licensing

Copyright © 2026 MotionFil-AI.

  • Research, methodology, written evidence, findings, specifications and datasets are licensed under CC BY 4.0 unless a file states otherwise.
  • Schemas, machine-readable receipts/examples and future source code are licensed under the MIT License unless a file states otherwise.

See LICENSE.md for details.

PopNxに聞く