Aga MCP Server
by attestedintelligenceio.github.attestedintelligence/aga-mcp-serverv3.6.2
Signed decision records for agent vendors facing customer evidence reviews. Public reference gateway and static verifier; pre-pilot, with documented limits.
context tax
queued
security
queued
cold start
queued
freshness
Active6d ago
Install Aga MCP server
Install in Claude Code
claude mcp add aga -e AGA_GATEWAY_KEY='<aga-gateway-key>' -- npx -y @attested-intelligence/aga-mcp-serverInstall in Cursor
{
"mcpServers": {
"aga": {
"command": "npx",
"args": [
"-y",
"@attested-intelligence/aga-mcp-server"
],
"env": {
"AGA_GATEWAY_KEY": "<aga-gateway-key>"
}
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (project).
Install in Claude Desktop
{
"mcpServers": {
"aga": {
"command": "npx",
"args": [
"-y",
"@attested-intelligence/aga-mcp-server"
],
"env": {
"AGA_GATEWAY_KEY": "<aga-gateway-key>"
}
}
}
}Settings → Developer → Edit Config (claude_desktop_config.json), then restart.
Install in VS Code
{
"servers": {
"aga": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@attested-intelligence/aga-mcp-server"
],
"env": {
"AGA_GATEWAY_KEY": "<aga-gateway-key>"
}
}
}
}Add to .vscode/mcp.json in your workspace.
Install in Windsurf
{
"mcpServers": {
"aga": {
"command": "npx",
"args": [
"-y",
"@attested-intelligence/aga-mcp-server"
],
"env": {
"AGA_GATEWAY_KEY": "<aga-gateway-key>"
}
}
}
}Add to ~/.codeium/windsurf/mcp_config.json.
Configuration
| Variable | Required | Secret | Description |
|---|---|---|---|
| AGA_GATEWAY_KEY | — | yes | 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 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. |
| AGA_GATEWAY_KEY_FILE | — | — | 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 start, warned on stderr. |
Freshness
Active — last maintenance signal 6d ago. The newest of the signals below sets the band.
Last commit (default branch)
2026-10-04 · 6d ago · GitHub
Latest release
2026-09-25 · 14d ago · GitHub · v3.6.2
Package published
no data · npm/PyPI
Registry entry updated
2026-09-26 · 13d ago · official registry · v3.6.2
FAQ
›How do I install the Aga MCP server in Claude Code?
Run: claude mcp add aga -e AGA_GATEWAY_KEY='<aga-gateway-key>' -- npx -y @attested-intelligence/aga-mcp-server. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.
›Does Aga require an API key?
Yes. It expects AGA_GATEWAY_KEY, of which 1 is a secret.
›Can I use Aga as a remote (hosted) MCP server?
No hosted endpoint is published; it runs locally over stdio.
›Is Aga in the official MCP registry?
Yes, as io.github.attestedintelligence/aga-mcp-server.