io.github.attestedintelligence/aga-mcp-server vs VERAX
io.github.attestedintelligence/aga-mcp-server is an MCP server published by attestedintelligence. Marketplaces we read that list it: 1 (Official MCP Registry). VERAX is an MCP server published by verax-ai. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-10-18. This pair was picked by a reader, not by our comparison rule, so search engines are asked not to index the page.
Where each is published
| Marketplace |  io.github.attestedintelligence/aga-mcp-server |  VERAX |
|---|---|---|
| Official MCP Registry | Listed Version: 3.6.2 Downloads/month (npm): 2 042 Downloads/week (npm): 115 Forks (GitHub): 0 Stars (GitHub): 0 Not marked · First seen |
Listed Version: 0.6.1 Downloads/month (npm): 3 364 Downloads/week (npm): 896 Forks (GitHub): 0 Stars (GitHub): 0 Not marked · First seen |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
The facts side by side
| Fact | io.github.attestedintelligence/aga-mcp-server | VERAX |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) | 0 | 0 |
| Forks (GitHub) | 0 | 0 |
| Last release (differs) | Not published | 2026-10-17 |
| Where it runs (differs) | On your machine (@attested-intelligence/aga-mcp-server) | On your machine (@verax-ai/body) |
| Transport (differs) | stdio | Streamable HTTP |
| Tools it declares | Not published | Not published |
| Environment variables it asks for (differs) | 2, secrets among them: 1 | 7, secrets among them: 0 |
| Licence | Not stated | Not stated |
| Repository (differs) | github.com/attestedintelligence/aga-mcp-server | github.com/verax-ai/verax |
| Changes in the last 7 days (differs) | 0 | 3 |
| First seen | 2026-10-11 | 2026-10-11 |
Lines where the two differ have a tinted background and bold values. Where the data itself says which value is better (more marketplaces, a larger figure of the same marketplace, a fresher release, a verified mark on a marketplace that lists both), the better one is also marked green with ▲ and the worse one red with ▼. Where it runs, the transport, the tools, the settings, hooks, the bundle's parts, the licence and the week's changes are marked only as different: more or fewer is not better in itself.
What each says it does
io.github.attestedintelligence/aga-mcp-server
Verifiable decision records for AI agents: signed receipts for calls to its own governed tools.
VERAX
The body an agent asks before it acts: decide, approve, and keep a signed record on your machine.
How to run each
io.github.attestedintelligence/aga-mcp-server As a local MCP server: npm package
claude mcp add --env "AGA_GATEWAY_KEY=<YOUR_AGA_GATEWAY_KEY>" --transport stdio aga-mcp-server -- npx -y @attested-intelligence/aga-mcp-serverRequires: AGA_GATEWAY_KEY (secret)
VERAX
No data for an automatic command: what its marketplaces declare does not say unambiguously how to connect it.
Requires: VERAX_AUDIENCE, VERAX_ISSUER, VERAX_JWKS_URL, VERAX_POLICY_FILE, VERAX_STATE_DIR
Commands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
Neither one's marketplaces publish a list of tools, so there is nothing to compare.
Settings each asks for
Only io.github.attestedintelligence/aga-mcp-server asks for
AGA_GATEWAY_KEY (secret)AGA_GATEWAY_KEY_FILE
Only VERAX asks for
VERAX_AUDIENCEVERAX_BINDVERAX_INVENTORY_FILEVERAX_ISSUERVERAX_JWKS_URLVERAX_POLICY_FILEVERAX_STATE_DIR
Settings as each marketplace publishes them. Asking for fewer is not better in itself.
What it can do: io.github.attestedintelligence/aga-mcp-server · What it can do: VERAX · Compare two other plugins
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.