AGA-mcp-server
AGA - Attested Governance Artifacts (증명된 거버넌스 아티팩트)
AI 에이전트 및 자율 시스템을 위한 암호화 런타임 거버넌스.
# 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)
카테고리 | 도구 |
식별 |
|
수명 주기 |
|
시행 |
|
증거 |
|
개인정보 보호 |
|
위임 |
|
감사 |
|
빠른 시작
증거 번들 검증 (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단계)
알고리즘 확인 - 번들은 Ed25519-SHA256-JCS를 선언하며, 그 외의 경우 실패 처리
영수증 서명 - RFC 8785 표준 JSON에 대한 Ed25519 서명 (서명 필드 제외)
체인 무결성 - 각 영수증의
previous_receipt_hash= 이전 영수증의 SHA-256 값머클 증명 - 형제/방향을 따라 루트까지 이동하여 번들 루트와 비교
번들 일관성 - 증명 개수 = 영수증 개수, 리프 해시가 영수증 해시와 일치
암호화 기본 요소
기본 요소 | 목적 |
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.jsonPython SDK
pip install aga-governancefrom 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 testsPython 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를 참조하세요.
라이선스
Attested Intelligence Holdings LLC
Maintenance
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
- AlicenseAqualityAmaintenanceLocal zero-trust permission gateway for AI agents. Enforces policy-based tool authorization, human approvals, scoped permissions, and cryptographically verifiable audit logs.45Apache 2.0
- AlicenseAqualityAmaintenanceAI-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.22220MIT
- FlicenseAqualityCmaintenanceMCP server that auto-emits tamper-evident receipts for every tool call, enabling EU AI Act Article 12 compliance with signed, chain-linked receipts.1
- AlicenseBqualityAmaintenanceA 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.13MIT
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.
Latest Blog Posts
- Who's Calling? MCP Hosts Are an Identity Blind Spot (And the Spec Knows It)By Om-Shree-0709 on .mcpAgent IdentityOAuth 2.1
- Your AI Chatbot Just Exposed Your CEO's Salary to an InternBy Om-Shree-0709 on .Agent IdentityMCP SecurityOAuth Delegation
- Why MCP Servers Need Execution Sandboxing (And Why Your Current Stack Isn't Enough)By Om-Shree-0709 on .Agentic AiPrompt InjectionWebAssembly
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