Skip to main content
Glama
deenesjakoruzh
attestedintelligence

AGA-mcp-server

by attestedintelligence
OverviewSchemaRelated ServersScoreDiscussions
TypeScript
Hybrid

AGA - Attested Governance Artifacts

AIエージェントおよび自律システムのための暗号学的ランタイムガバナンス。

npm PyPI License: MIT Tests

# Try it now
pip install aga-governance
python -m aga demo
python -m aga verify demo-bundle.json

このツールの機能

AIエージェントが行うすべてのツール呼び出しは、AGAゲートウェイを通過します。各呼び出しはポリシーに対して評価され、その決定（許可または拒否）は、署名付きのハッシュリンクされたガバナンス領収書として記録されます。領収書は証拠バンドルに収集され、第三者が標準的な暗号技術を使用してオフラインで検証できます。

記録。証明。検証。

Related MCP server: AgentLens

Claude Desktopでの使用

Claude DesktopのMCP設定（claude_desktop_config.json）に追加します：

{
  "mcpServers": {
    "aga": {
      "command": "npx",
      "args": ["-y", "@attested-intelligence/aga-mcp-server"]
    }
  }
}

これにより、Claudeは自然言語を通じて、アーティファクトの封印、整合性の測定、証拠バンドルの生成、およびコンプライアンスの検証を行うことができます。

MCPツール (20)

カテゴリ

ツール

アイデンティティ

get_server_info, get_portal_state

ライフサイクル

init_chain, attest_subject, revoke_artifact

強制

measure_integrity, measure_behavior, verify_chain

証拠

create_checkpoint, generate_evidence_bundle, verify_bundle_offline

プライバシー

request_claim, list_claims

委任

delegate_to_subagent

監査

get_receipts, get_chain_events

クイックスタート

証拠バンドルの検証（3コマンド）

pip install aga-governance
curl -s https://aga-mcp-gateway.attestedintelligence.workers.dev/bundle -o evidence-bundle.json
python -m aga verify evidence-bundle.json

またはブラウザで検証

attestedintelligence.com/verify にアクセスし、「Run Verification」をクリックします。インストールは不要です。

仕組み

AI Agent                  AGA Gateway                    Verifier
   |                          |                              |
   |-- tools/call ----------->|                              |
   |                    [Evaluate Policy]                    |
   |                    [Sign Receipt]                       |
   |                    [Chain to Previous]                  |
   |<-- PERMITTED/DENIED -----|                              |
   |                          |                              |
   |                    [Export Bundle]                       |
   |                          |--------- evidence.json ----->|
   |                          |                  [Verify Signatures]
   |                          |                  [Verify Chain]
   |                          |                  [Verify Merkle Tree]
   |                          |                  [PASS / FAIL]

MCPガバナンスプロキシ

AGAを、任意のMCPクライアントと任意のMCPサーバー間の透過的なプロキシとして実行します。すべてのツール呼び出しはポリシーに対して評価され、署名付き領収書が生成されます。

# Start the proxy with an upstream MCP server
npx tsx src/proxy/index.ts start --upstream "npx -y @modelcontextprotocol/server-filesystem /tmp/test" --profile standard

# Export the evidence bundle
npx tsx src/proxy/index.ts export --output evidence.json

# Verify
npx tsx src/proxy/index.ts verify evidence.json

プロキシは tools/call リクエストをインターセプトし、封印されたポリシーアーティファクトに対して評価を行い、署名付き領収書を生成します。許可された呼び出しはダウンストリームサーバーに転送されます。拒否された呼び出しはMCPエラーを返します。すべての決定は、改ざん検知可能なチェーンにハッシュリンクされます。

3つの組み込みポリシープロファイル：

  • permissive - すべてを記録し、何もブロックしない（デフォルト）

  • standard - レート制限 + 破壊的な操作をブロック

  • restrictive - 明示的なツール許可リスト、不明なツールはすべて拒否

検証 (5ステップ)

  1. アルゴリズムチェック - バンドルはEd25519-SHA256-JCSを宣言し、それ以外は失敗とみなす

  2. 領収書の署名 - RFC 8785正規化JSONに対するEd25519署名（署名フィールドを除く）

  3. チェーンの整合性 - 各領収書の previous_receipt_hash = 前の領収書のSHA-256ハッシュ

  4. マークル証明 - ルートまでの兄弟ノード/方向を辿り、バンドルルートと比較

  5. バンドルの整合性 - 証明数 = 領収書数、リーフハッシュが領収書ハッシュと一致

暗号学的プリミティブ

プリミティブ

目的

Ed25519

領収書の署名

SHA-256

ハッシュチェーン、マークルツリー、リーフ計算

RFC 8785 (JCS)

決定論的署名のための正規化JSON

マークルツリー

すべての領収書を単一の検証可能なルートにバインド

ライブゲートウェイ

デモゲートウェイはCloudflare Workers上にデプロイされています：

# Check status
curl https://aga-mcp-gateway.attestedintelligence.workers.dev/health

# Export evidence bundle
curl https://aga-mcp-gateway.attestedintelligence.workers.dev/bundle -o evidence-bundle.json

Python SDK

pip install aga-governance
from aga import AgentSession

with AgentSession(gateway_id="my-gateway") as session:
    session.record_tool_call(
        tool_name="search_web",
        decision="PERMITTED",
        reason="tool in allowlist",
        request_id="req-1",
    )
    bundle = session.export_bundle()
    result = session.verify()
    assert result["overall_valid"]

テストスイート

TypeScriptとPython全体で355以上の自動テスト：

  • TypeScript MCP Server: 218テスト (vitest)

  • Python SDK: 137テスト (pytest)

  • 言語間テストベクトル: 9カテゴリにわたる37ベクトル

npm test                              # TypeScript tests

Python SDKについては、PyPIから aga-governance をインストールしてください：https://pypi.org/project/aga-governance/

プロジェクト構造

src/                   # Core protocol: artifacts, receipts, chain, Merkle, crypto, portal state machine
  core/                # Governance primitives (artifact, receipt, chain, portal, bundle)
  crypto/              # Ed25519, SHA-256, BLAKE2b, Merkle, JCS canonicalization
  proxy/               # MCP governance proxy (transparent interception + policy enforcement)
  tools/               # MCP tool handlers (20 tools)
  middleware/          # Zero-trust governance enforcement wrapper
independent-verifier/  # Standalone verifier with zero AGA imports
scenarios/             # Deployment scenarios (SCADA, drone, AI agent)
tests/                 # TypeScript test suite (218 tests)

リンク

セキュリティ

脆弱性の報告については SECURITY.md を参照してください。

貢献

開発環境のセットアップとガイドラインについては CONTRIBUTING.md を参照してください。

ライセンス

MIT

Attested Intelligence Holdings LLC

Install Server
A
license - permissive license
B
quality
A
maintenance

How are these scores calculated?

Maintenance

–Maintainers
–Response time
5dRelease cycle
2Releases (12mo)
Commit activity

Resources

Unclaimed servers have limited discoverability.

Looking for Admin?

If you are the server author, to access and configure the admin panel.

Tools

View all tools

Related MCP Servers

  • agent-sudo-mcp

    Kisyntra
    A
    license
    A
    quality
    A
    maintenance
    Local zero-trust permission gateway for AI agents. Enforces policy-based tool authorization, human approvals, scoped permissions, and cryptographically verifiable audit logs.
    4
    5
    Apache 2.0

  • AgentLens

    agentkitai
    A
    license
    A
    quality
    A
    maintenance
    AI-agent observability server whose distinguishing feature is a SHA-256 hash-chained, tamper-evident audit log with chain verification and signed export. Works with Claude Desktop, Cursor, and any MCP client.
    22
    2
    20
    MIT

  • @humanaccepted/mcp

    Ola-Turmo
    F
    license
    A
    quality
    C
    maintenance
    MCP server that auto-emits tamper-evident receipts for every tool call, enabling EU AI Act Article 12 compliance with signed, chain-linked receipts.
    1
  • Proofpane by Proofpane

    Proofpaneofficial

    Proofpane
    A
    license
    B
    quality
    A
    maintenance
    A governance proxy for AI tools — every MCP/agent tool call is policy-gated, secret-redacted, and written to a hash-chained, offline-verifiable audit trail.
    13
    MIT

View all related MCP servers

Related MCP Connectors

  • HiveAttest

    Pre-action attestation perimeter for AI agents — 8 primitives, signed C18 receipt per call.

  • agent-audit-logger-mcp

    Hash-chained HMAC-signed audit log MCP for A2A (agent-to-agent) calls. Every tool-call, agent-ha...

  • Touchstone

    Bitcoin-anchored, tamper-evident audit log for AI agents — record, disclose and verify actions.

View all MCP Connectors

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/attestedintelligence/aga-mcp-server'

If you have feedback or need assistance with the MCP directory API, please join our Discord server