プロトタイプ · プレビュー版:公式レジストリのすべてのサーバーを掲載し、30分ごとに同期しています。レビューとアカウント機能は今後のステップで始まります。
PopNx MCPAIを使う人のためのMCPサーバー · やさしい言葉で解説

KARTA — spend control for AI agents

作者:mrpkkバージョン 0.1.0i★ –iクラウドで動く
レジストリ名lat.rta.karta/guard

インストール

概要

作者による説明(英語の原文)

Task envelope, budget ledger, kill switch and signed receipts for agents that pay.

PopNx MCPの3つの柱

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

できること

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

  • 接続方法: クラウドで動く
  • トランスポート: Streamable HTTP
  • カテゴリ: 会計・財務・税務

インストール

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

インストールの前に

必要なもの

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

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

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

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

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

claude mcp add --transport http guard https://karta.rta.lat/mcp

Cursorで開く

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

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

{
  "mcpServers": {
    "guard": {
      "url": "https://karta.rta.lat/mcp"
    }
  }
}

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

VS Codeで開く

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

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

{
  "servers": {
    "guard": {
      "type": "http",
      "url": "https://karta.rta.lat/mcp"
    }
  }
}

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

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

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

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

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

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

できること

ツールの名前と説明は、サーバーが2026年11月7日に返したそのままの内容です。書いたのは作者で、私たちではありません。プレーンテキストとして表示しています。

  • check_spend

    Check whether a proposed agent spend is inside a task envelope. Returns verdict, rule, reason, counterfactual and next. No state is stored.

  • open_envelope

    Create a signed budget envelope for one task: total budget, per-call cap, call count, allowlisted payees, subscription rule, expiry. Stores it in this server's local ledger (no funds move, no keys). Returns the envelope id. Capped at 30 envelopes/hour per server.

  • get_envelope

    Return an envelope's state: budget, per-call cap, calls used, spent, remaining, allowlist and expiry. Read-only.

  • kill_envelope

    Stop one task envelope immediately: no further spend is approved for it, the reason is recorded with a timestamp. Idempotent — the first reason wins.

  • envelope_evidence

    Return an evidence bundle for one envelope: state, every recorded spend, the stop record and a sha256 of the whole pack that anyone can recompute. Read-only.

  • policy_rules

    List the deterministic rules a spend is checked against (E01-E08) with the order they are applied and the meaning of each. Read-only, no state.

基本チェックi

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

  • ! 注意

    作者とリポジトリが一致

    公開者(karta.rta.lat)がリポジトリの所有者(mrpkk)ではありません。別の人が登録した可能性があります

  • … 未チェック

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

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

  • … 未チェック

    ライセンスがある

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

  • ✓ 合格

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

    1304ミリ秒で応答(HTTP 200)

  • – 対象外

    OAuthでサインイン

    サインイン不要

  • ✓ 合格

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

    6件のツールの説明を読み、AIへの隠れた指示は見つかりませんでした

会計・財務・税務のほかのサーバーとの比較i

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

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

よくある質問

KARTA — spend control for AI agentsは安全ですか?

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

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

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

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

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

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

GitHubリポジトリの最終更新は–、最新バージョン(0.1.0)がレジストリに届いたのは14 日前です。

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

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

代わりに使えるものは?

同じカテゴリには:Finance Toolkit, SolidInvoice, Korea Tax Calculator

代わりの候補

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

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

Finance Toolkit

500+ transparent financial methods calculated from raw statements, not third-party endpoints.

作者:JerBouma広く使われている↓ 1.6万/週★ 54963 日前更新

パソコンでもクラウドでも

SolidInvoice

Create and send invoices and quotes, manage clients, and track payments in SolidInvoice.

作者:SolidInvoice成長中★ 981今日更新

クラウドで動く✓ solidinvoice.co

Korea Tax Calculator

Korean tax calculation and tax-audit judgment MCP: 97 tools with statutory citations.

作者:UpstageAI成長中↓ 3172/週★ 97今日更新

パソコンで動く

作者のREADME

READMEを開く

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

KARTA — onchain-ai-agent

Trust layer между AI и ончейн-действием. Агент предлагает → детерминированная политика

(Dharma Engine) разрешает → симуляция подтверждает → человек аппрувит → Karma Engine

исполняет → Sakshi Log доказывает.

Статус: v2 в разработке (ветка feature/v2-modernization). Тесты: 116 backend + 56 контрактов.

Канон-спека: Документы/work/projectBooks/OnChainKartaSPEC.md.


✅ Что реально работает (проверено тестами)

ОбластьСтатус
AuthArgon2id; JWT access 15 мин + refresh 7 дней (ротация, reuse-detection → отзыв семьи, revoke-all); rate-limit логина 5/мин; legacy-sha256-миграция
ХранилищеPostgreSQL 16 (14 таблиц, Alembic-миграции); данные переживают рестарт (тест «engine reset = restart»)
Dharma Engine15 правил (лимиты per-tx/daily/velocity, газ-кап, slippage, black/whitelist, окно, breakers, approve-гигиена); вердикты allow/deny/require_approval; гейт в ОБОИХ путях исполнения; DHARMA_ENFORCE=off для отката
ApproveТолько точные суммы; 2^256-1 заблокирован (INFINITE_APPROVE_BLOCKED); revoke_approve
KeyVaultКлюч только через vault (lazy-init), core.py не читает ключ из конфига (guard-тест)
Безопасность исполненияSimulation-mode (дефолт); реальное исполнение — за флагом (READ+SIMULATE+PROPOSE)
Kill switchsoft/hard, терминальный (без auto-resume), drill-тесты
Sakshi LogHMAC-цепочка (prev_hash‖canonical(payload)), append-only (PG-триггер), экспорт `json\csv`
Decision DiaryКаждое решение (action/reasoning/confidence/risk/policy_verdict) пишется в БД
Live-событияWS /ws?token= — agent.status, decision.proposed (fan-out, 4401 при невалидном токене)
LLMЦепочка GigaChat → DeepSeek → Qwen → агрегатор → Ollama; structured output (pydantic) + repair + circuit breaker 3×60с; fail-safe ask_human
MempoolРеальный сканер блоков: watch-фильтр адресов + газ-тренд; честный rpc_unavailable без выдумок
Health/health + /health/deep: реальные TCP/RPC/LLM/KeyVault-проверки → ok/degraded/down
КонтрактыAgentRegistry + Escrow + RicardianAgreement: 56 hardhat-тестов, Slither (fail-on: high) в CI

🚧 Чего ещё нет (честно)

  • Реальное исполнение транзакций, swap/bridge/deploy — Phase 5 (STOP-GATE)
  • Кокпит-UI, Telegram-approve, i18n — Phase 4
  • ERC-4337 session keys, private RPC, MEV-защита — Phase 5
  • MCP-сервер наружу (read-tools) — Phase 6
  • RefreshStore пока in-memory (таблица refresh_tokens готова — миграция слоем позже)

🔌 API (37 маршрутов + WebSocket; авто-перечень — docs/API.md)

МетодПутьНазначение
POST/api/v1/auth/register · /token · /refresh · /revoke-all · /logoutArgon2id, JWT-пара с ротацией и reuse-detection
POST/GET/api/v1/agentsСоздать / список агентов (тиры 0–3, авто-политика тира)
GET/api/v1/agents/{id}Карточка агента
POST/api/v1/agents/{id}/start · /stop · /heartbeatЖизненный цикл (+ dead-man switch)
POST/api/v1/agents/{id}/goal · /intent · /intent/confirmЦель; чат-задача NL→intent с Dharma-превью
GET/PUT/api/v1/agents/{id}/policy · POST /policy/from-text · /policy/simulateВерсии Dharma-политики; правила словами; impact-симулятор
GET/api/v1/agents/{id}/decisions · /pending · /audit · /driftDecision Diary; undo-очередь; Sakshi; дрейф
GET/api/v1/agents/{id}/reports/summary · /export.csvHealth/Trust/дрейф-сводка; CSV (decisions/transactions/audit)
GET/POST/api/v1/approvals · `/approvals/{id}/approvereject · /pending/{id}/cancel`Approvals-inbox (web=Telegram, единый путь)
GET/POST/PUT/api/v1/decisions/{id}Replay: текущий вердикт vs сохранённый
POST/api/v1/agents/{id}/kill-switchЭкстренная остановка (soft/hard, терминальная)
GET/api/v1/agents/{id}/transactionsИстория транзакций
GET/POST/DELETE/api/v1/api-keysAPI-ключи karta_ для MCP (scope mcp:read)
POST/mcpMCP-сервер (streamable HTTP, stateless, read-only v1) — см. docs/MCP.md
GET/POST/api/v1/ricardian/*Ricardian 2-of-3: соглашения, подписи, вехи, споры (Sepolia)
GET/POST/api/v1/agents/{id}/registryERC-8004-паспорт: регистрация/верификация/репутация + бейджи
GET/api/v1/registry/agents/{id}/metadataПубличный паспорт агента (metadataURI, без auth)
GET/POST/api/v1/escrow/*Аренда агентов: эскроу-оплата, release/refund/dispute/resolve (Sepolia)
GET/api/v1/x402/demo/premiumx402-демо: 402 → EIP-3009-подпись → сеттлмент (Sepolia, токен без ценности)
GET/api/v1/chainsMulti-chain реестр: 6 сетей (ETH/Sepolia/Base/Base Sepolia/BSC/Polygon) + health
GET/POST/api/v1/swap/*Swap: котировка, slippage-guard, исполнение (MockDEX/Uniswap-V2, Sepolia)
GET/POST/api/v1/bridge/*Bridge: реальные котировки LI.FI (AcrossV4), статус; исполнение gated
GET/POST/api/v1/erc4337/*ERC-4337: smart account, session keys (TTL/лимит/цель), guardians
GET/api/v1/health · /health · /health/deepЧестные проверки компонентов
WS/ws?token= Live-события
GET/docs · /openapi.jsonOpenAPI/Swagger

🚀 Быстрый старт

# 1) PostgreSQL (dev): контейнер на 5433 (системный PG занимает 5432)

docker compose up -d postgres # или: docker run -d --name karta-postgres \

-e POSTGRES_USER=agent -e POSTGRES_PASSWORD=agent \

-e POSTGRES_DB=onchain_ai -p 5433:5432 postgres:16-alpine

2) Зависимости

python3 -m venv backend/.venv && backend/.venv/bin/pip install -r backend/requirements.txt

3) Схема

cd backend && DATABASE_URL=postgresql+asyncpg://agent:agent@127.0.0.1:5433/onchain_ai \ .venv/bin/alembic upgrade head

4) Запуск

DEBUG=true .venv/bin/uvicorn src.api.main:app --port 8000 # из backend/

5) Swagger: http://127.0.0.1:8000/docs

Ключевые переменные окружения (только ~/.env, chmod 600)
ПеременнаяНазначение
DATABASE_URLpostgresql+asyncpg://agent:agent@127.0.0.1:5433/onchain_ai
JWT_SECRET_KEYopenssl rand -hex 32 (обязательно в prod)
ONCHAIN_MASTER_KEYмастер-ключ KeyVault
SAKSHI_AUDIT_KEYключ HMAC-цепочки аудита
GIGACHAT_AUTH_KEYGigaChat (первичный LLM)
DEEPSEEK_API_KEY_*DeepSeek (fallback)

🧪 Тесты

# Backend: 338 тестов + coverage-гейт 80%

backend/.venv/bin/python -m pytest backend/tests -q --cov=src --cov-fail-under=80

Контракты: 56 тестов (hardhat)

cd smart-contracts && npx hardhat test

Live E2E-смоук (13 проверок) против запущенного сервера:

python3 scripts/e2e_live.py # KARTA_E2E_BASE/USER/PASS — при необходимости

🏗 Архитектура (кратко)

Human → REST /api/v1 + WS /ws → [Dharma Engine] → [Simulation] → [Timelock/Approval] → [Karma Engine] → Chain*

↓ ↓ Sakshi Log (HMAC, append-only) ← Decision Diary (decisions)

  • Реальное исполнение on-chain — Phase 5 (STOP-GATE); сейчас: тиры 0–1 simulation-mode, тиры 2–3 за гейтами

Инварианты: LLM не получает ключ; tx не подписывается без policy-вердикта и симуляции; любая ошибка → hold + ask_human; ни один слой не контролирует pipeline единолично.

📚 Документы

  • PROGRESS.md — мега-контекст, реестр слайсов, журнал
  • docs/AUDIT_REPORT.md — actual-vs-claimed аудит
  • docs/THREAT_MODEL.md — STRIDE T1–T12
  • docs/ARCHITECTURE_CURRENT.md — фактическая архитектура (до модернизации)
  • docs/ARCHITECTURE.md · docs/SECURITY.md — as-built архитектура и security-posture
  • docs/API.md — перечень API (генератор docs/generate_api_md.py)
  • docs/MCP.md · docs/MCP_TOOL_CONTRACTS.md — MCP-сервер: подключение и контракты (генератор docs/generate_mcp_contracts.py)
  • docs/X402.md — x402-демо (тестнет): поток, запуск, честные ограничения
  • docs/DEPLOYMENT.md — развёртывание (dev/prod, env, адреса Sepolia)
  • CHANGELOG.md — релизы v2.0-alpha / v2.0-beta
  • smart-contracts/ — Solidity 0.8.20 + Hardhat

Дисклеймер: не является финансовой рекомендацией. Автономный агент действует в границах

политик владельца; реальное исполнение — только после отдельного решения (STOP-GATE).

PopNxに聞く