Verifiable decision records for AI agents: signed receipts for calls to its own governed tools.
Connect Runs on your machine
claude mcp add aga-mcp-server -e AGA_GATEWAY_KEY=<AGA_GATEWAY_KEY> -e AGA_GATEWAY_KEY_FILE=<AGA_GATEWAY_KEY_FILE> -- npx -y @attested-intelligence/[email protected]{
"mcpServers": {
"aga-mcp-server": {
"command": "npx",
"args": [
"-y",
"@attested-intelligence/[email protected]"
],
"env": {
"AGA_GATEWAY_KEY": "<AGA_GATEWAY_KEY>",
"AGA_GATEWAY_KEY_FILE": "<AGA_GATEWAY_KEY_FILE>"
}
}
}
}{
"mcpServers": {
"aga-mcp-server": {
"command": "npx",
"args": [
"-y",
"@attested-intelligence/[email protected]"
],
"env": {
"AGA_GATEWAY_KEY": "<AGA_GATEWAY_KEY>",
"AGA_GATEWAY_KEY_FILE": "<AGA_GATEWAY_KEY_FILE>"
}
}
}
}{
"servers": {
"aga-mcp-server": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@attested-intelligence/[email protected]"
],
"env": {
"AGA_GATEWAY_KEY": "<AGA_GATEWAY_KEY>",
"AGA_GATEWAY_KEY_FILE": "<AGA_GATEWAY_KEY_FILE>"
}
}
}
}Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.
Tools
This server runs locally, so its tools are listed by your MCP client once it starts.
Environment variables
| Name | Description |
|---|---|
AGA_GATEWAY_KEYOptional, secret | Ed25519 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 kep… |
AGA_GATEWAY_KEY_FILEOptional | Path to a file holding the 64-hex Ed25519 seed; read only when AGA_GATEWAY_KEY is unset or empty, with the same effect. A stdio server started by your MCP client runs as the client's OS user, so the file sits inside the governed client's trust domain. Missing, unreadable or invalid: a new key each… |
Details
| Package | @attested-intelligence/[email protected] (NPM, stdio) |
| First published | 26 Sep 2026 |
| Last updated | 26 Sep 2026 |
| Registry name | io.github.attestedintelligence/aga-mcp-server |
More ai and media servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.