Skip to main content
Glama
attestedintelligence

AGA-mcp-server

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 게이트웨이를 통과합니다. 각 호출은 정책에 따라 평가되며, 결정(PERMITTED 또는 DENIED)은 서명된 해시 연결 거버넌스 영수증으로 기록됩니다. 영수증은 제3자가 표준 암호화를 사용하여 오프라인에서 검증할 수 있는 증거 번들로 수집됩니다.

기록. 증명. 검증.

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 오류를 반환합니다. 모든 결정은 변조 방지 체인에 해시로 연결됩니다.

세 가지 내장 정책 프로필:

  • 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 서버: 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

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.

Related MCP Servers

  • 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
  • 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
  • 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
  • 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

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

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

  • 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