广告合作
MCP.so
登录
A

Aga MCP Server

@attestedintelligence

代码仓库

基本信息

分类

其他

传输方式

stdio

作者

attestedintelligence

提交者

attestedintelligence

关于 Aga MCP Server

Cryptographic runtime governance for AI agents. 20 tools. Sealed policy artifacts, continuous measurement, tamper-evident proof. Ed25519 + SHA-256.

#ai-governance#mcp#security#cryptography#ed25519#runtime-integrity#tamper-evident#policy-artifact#evidence-bundle#offline-verification#drift-detection#nist

Aga MCP Server 配置

使用下面的配置,将此服务器添加到你的 MCP 客户端。

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

Aga MCP Server 工具

15

Get AGA server info, public keys, and portal state.

Get current portal state, loaded artifact info, and enforcement status.

Initialize continuity chain with genesis event.

Attest subject, generate sealed Policy Artifact. Auto-loads into portal.

Measure subject state, compare to sealed reference. Generates signed receipt for every measurement.

Revoke an active policy artifact mid-session. Portal terminates on next measurement. (NCCoE Phase 3b)

Verify continuity chain integrity.

Export the canonical SEP evidence bundle: signed PERMITTED/DENIED tool-call receipts + Merkle proofs + a mandatory signed checkpoint, for offline third-party verification (verify_bundle_offline, aga-verify, or aga-receipt-spec/verify/verify-sep.mjs). Pin gateway_public_key to prove provenance.

Verify a canonical SEP evidence bundle offline (full §6 algorithm: structural floor, receipt signatures, chain+ordering, leaf-recompute + Merkle bijection, signed checkpoint). Pass pinned_public_key to also prove provenance.

Request disclosure of a claim. Auto-substitutes if denied.

List available claims with sensitivity levels.

Derive a constrained policy artifact for a sub-agent. Scope can only diminish, never expand. (NCCoE constrained delegation)

Measure behavioral patterns (unauthorized tools, rate violations, forbidden sequences). DETECTIVE-ONLY by default: it records and PROVES drift but does not block. Pass enforce=true to also trip the portal into phantom quarantine on drift (opt-in; off by default). (NIST-2025-0035)

Get all signed receipts, optionally filtered by artifact.

Get continuity chain events.

概览

What is Aga Mcp Server?

Aga Mcp Server is an MCP server implementing the Attested Governance Artifact (AGA) protocol for cryptographic compliance enforcement in autonomous AI systems. It acts as a zero‑trust Policy Enforcement Point (Portal) for AI agents, where every tool call is attested, measured against a sealed reference, and logged to a tamper‑evident continuity chain with signed receipts.

How to use Aga Mcp Server?

Install with npm install && npm run build && npm test. Connect to Claude Desktop by adding a configuration entry in claude_desktop_config.json that points the aga server to the compiled dist/index.js file. Use any of the 20 MCP tools (e.g., aga_create_artifact, aga_measure_subject) to enforce compliance.

Key features of Aga Mcp Server

  • 20 MCP tools for attestation, measurement, verification, and revocation
  • 4 resources: protocol specification, sample bundle, crypto primitives, patent claims
  • 3 prompts: NCCoE demo, governance report, drift analysis
  • Covers all 12 CoSAI MCP Security threat categories
  • Ed25519 signatures, SHA‑256 hashing, and Merkle tree anchoring
  • In‑memory storage with optional SQLite persistence
  • 159 tests across crypto, core, tools, and integration suites

Use cases of Aga Mcp Server

  • Cryptographic compliance enforcement for every AI agent tool call
  • Behavioral drift detection and remediation via baseline measurement
  • Offline evidence bundle verification using Merkle proofs and receipts
  • Delegation to sub‑agents with scope‑diminishment constraints
  • Privacy‑preserving disclosure with automatic claim substitution

常见问题

1

What runtime dependencies does Aga Mcp Server require?

Node.js and npm are required. The server uses Ed25519 and SHA‑256 cryptographic primitives.

2

How does Aga Mcp Server ensure integrity?

Every tool call is measured against a sealed cryptographic reference and logged to a tamper‑evident continuity chain with signed receipts.

3

What transport does Aga Mcp Server support?

It communicates over JSON‑RPC via stdio.

4

How does Aga Mcp Server handle access control?

It acts as a mandatory enforcement boundary (Portal) using sealed constraints. Delegation to sub‑agents only allows diminishing scope.

5

What are the storage and limitation details?

Data is stored in‑memory with optional SQLite. Artifacts have a TTL and expire; mid‑session revocation is supported.

评论

其他 分类下的更多 MCP 服务器

P

PickFu MCP

PickFu MCP is a Model Context Protocol (MCP) server that connects AI assistants, developers, marketers, product managers, and AI agents to PickFu's consumer research platform. It enables users to create surveys, conduct

ICSS

chokcoco

不止于 CSS

20.7K

The Living Bread

The Living Bread

A free remote MCP server for The Living Bread. Bible passages read word for word from a stored public domain text with an evidence label, keyword search and cross references, real churches, gatherings and prayer groups w

Handl

Handl speaks the Model Context Protocol. Your whole billing operation — projects, invoices, clients, reports, approvals — as tools any AI assistant can call, inside your autonomy rules.

Senso MCP for Joomla

sensomedia

Senso MCP turns a Joomla 5 or 6 site into a remote MCP server. It runs inside Joomla itself (no extra server, no Node.js bridge) and is secured with OAuth 2.1 and Joomla's own ACL. The free pack lets an AI assistant crea

广告合作