io.github.attestedintelligence/aga-mcp-server

io.github.attestedintelligence/aga-mcp-server

Verifiable decision records for AI agents: signed receipts for calls to its own governed tools.

View repository →Homepage →

Connect this server

Add this to your MCP client config — claude_desktop_config.json (Claude Desktop) or .cursor/mcp.json (Cursor).Suits: Claude Desktop · Cursor.

{
  "mcpServers": {
    "aga-mcp-server": {
      "command": "npx",
      "args": [
        "-y",
        "@attested-intelligence/aga-mcp-server@3.6.2"
      ],
      "env": {
        "AGA_GATEWAY_KEY": "<your AGA_GATEWAY_KEY>"
      }
    }
  }
}
Environment variables
  • AGA_GATEWAY_KEYsecretEd25519 seed, 64 hex characters, that signs this server's evidence-bundle receipts and checkpoint, so gateway_public_key (get_server_info) is the same after a restart and can be pinned. Set in your MCP client's configuration, the seed sits inside the governed client's trust domain. Receipts are kept in memory only; save a generate_evidence_bundle result before the server stops. Unset or invalid: a new key each start, warned on stderr. When set, even to an invalid value, AGA_GATEWAY_KEY_FILE is not read.

A starting point — check the repository for exact arguments and setup. Restart your client after editing the config.

Category
Developer Tools
Version
3.6.2
Registry
active
Published
9/26/2026

More Developer Tools servers

Browse all Developer Tools →

Attestify OS

attestifyagent

MCP stdio server for Attestify OS — governed agent execution and Attestify Trust signed evidence.

Developer ToolsAdded 2 months ago

io.github.attestifyagent/attestify-os

attestifyagent

Governed agent execution: x402 payments, budgets, receipts, verification, and audit.

Developer ToolsAdded 5 months ago

Cronometer MCP

atticoos

Review nutrition, log meals, and manage foods and recipes in your Cronometer account.

Developer ToolsAdded 3 days ago

Attic Standard

AtticStandard

The global price benchmark for AI inference: 23 price indexes, market KPIs and SKU-level prices.

Developer ToolsAdded 1 month ago

io.github.attnstack/codegraph

attnstack

Call graph of a TS/JS repo: who-calls, impact with evidence chains, trace, hotspots.

Developer ToolsAdded 1 week ago

io.github.atul-fusionpact/fusionpact-vectordb

FusionpactTech

Hybrid vector + reasoning retrieval, agent memory, multi-agent orchestration, MCP server, and RAG.

Developer ToolsAdded 8 months ago

Add the badge to your site

Show visitors that io.github.attestedintelligence/aga-mcp-server is listed here — it’s also the link we check for a free listing.

io.github.attestedintelligence/aga-mcp-server — listed on Serverdex

HTML — for your website

<a href="https://serverdex.io/server/io-github-attestedintelligence-aga-mcp-server?utm_source=badge"><img src="https://serverdex.io/brand/badge.svg" alt="io.github.attestedintelligence/aga-mcp-server — listed on Serverdex" width="123" height="40" loading="lazy"></a>

Recommended. A dofollow link from your own domain is the one that counts for search engines, and it's the link we check for a free listing.

Markdown — for your README

[![io.github.attestedintelligence/aga-mcp-server — listed on Serverdex](https://serverdex.io/brand/badge.svg)](https://serverdex.io/server/io-github-attestedintelligence-aga-mcp-server?utm_source=badge)

Nice for visibility, but GitHub marks README links nofollow, so it doesn't pass authority. Use the HTML badge on your site as well.