AGA MCP Server
Provides verifiable decision records for AI agents by generating signed receipts for tool requests. It allows agents to record policy decisions, export hash-linked bundles with Merkle proofs, and enables reviewers to verify these records against expected public keys without connecting to the live service.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
What you can do with it
- Record policy decisions for agent tool requests
- Export signed receipts with Merkle proofs
- Verify receipt integrity against a public key
- Inspect signed fields and policy references
Source and maintenance
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
@attested-intelligence/aga-mcp-server 3.6.2
{
"version": "3.6.2",
"transport": "stdio",
"identifier": "@attested-intelligence/aga-mcp-server",
"registryType": "npm",
"environmentVariables": [
{
"name": "AGA_GATEWAY_KEY",
"format": "string",
"description": "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."
},
{
"name": "AGA_GATEWAY_KEY_FILE",
"format": "filepath",
"description": "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."
}
]
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Connect from your client
Each snippet configures the same source-provided package; replace placeholders before use.
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>",
"AGA_GATEWAY_KEY_FILE": "<YOUR_AGA_GATEWAY_KEY_FILE>"
}
}
}
}Cline
{
"mcpServers": {
"aga-mcp-server": {
"command": "npx",
"args": [
"-y",
"@attested-intelligence/aga-mcp-server@3.6.2"
],
"env": {
"AGA_GATEWAY_KEY": "<YOUR_AGA_GATEWAY_KEY>",
"AGA_GATEWAY_KEY_FILE": "<YOUR_AGA_GATEWAY_KEY_FILE>"
}
}
}
}VS Code
{
"servers": {
"aga-mcp-server": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@attested-intelligence/aga-mcp-server@3.6.2"
],
"env": {
"AGA_GATEWAY_KEY": "<YOUR_AGA_GATEWAY_KEY>",
"AGA_GATEWAY_KEY_FILE": "<YOUR_AGA_GATEWAY_KEY_FILE>"
}
}
}
}Claude Desktop
{
"mcpServers": {
"aga-mcp-server": {
"command": "npx",
"args": [
"-y",
"@attested-intelligence/aga-mcp-server@3.6.2"
],
"env": {
"AGA_GATEWAY_KEY": "<YOUR_AGA_GATEWAY_KEY>",
"AGA_GATEWAY_KEY_FILE": "<YOUR_AGA_GATEWAY_KEY_FILE>"
}
}
}
}Let your agent find its tools
Find servers like AGA MCP Server from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.