AGA - Artefactos de Gobernanza Atestiguados

Gobernanza de tiempo de ejecución criptográfica para agentes de IA y sistemas autónomos.

# Try it now
pip install aga-governance
python -m aga demo
python -m aga verify demo-bundle.json

Qué hace esto

Cada llamada a una herramienta que realiza un agente de IA pasa a través de la puerta de enlace AGA. Cada llamada se evalúa según la política, y la decisión (PERMITIDO o DENEGADO) se registra como un recibo de gobernanza firmado y vinculado mediante hash. Los recibos se recopilan en paquetes de evidencia que cualquier tercero puede verificar sin conexión utilizando criptografía estándar.

Registrar. Probar. Verificar.

Related MCP server: AgentLens

Uso con Claude Desktop

Añadir a la configuración MCP de Claude Desktop (claude_desktop_config.json):

{
  "mcpServers": {
    "aga": {
      "command": "npx",
      "args": ["-y", "@attested-intelligence/aga-mcp-server"]
    }
  }
}

Claude puede entonces sellar artefactos, medir la integridad, generar paquetes de evidencia y verificar el cumplimiento a través del lenguaje natural.

Herramientas MCP (20)

Inicio rápido

Verificar un paquete de evidencia (3 comandos)

pip install aga-governance
curl -s https://aga-mcp-gateway.attestedintelligence.workers.dev/bundle -o evidence-bundle.json
python -m aga verify evidence-bundle.json

O verificar en su navegador

Vaya a attestedintelligence.com/verify y haga clic en "Run Verification". No requiere instalaciones.

Cómo funciona

AI Agent                  AGA Gateway                    Verifier
   |                          |                              |
   |-- tools/call ----------->|                              |
   |                    [Evaluate Policy]                    |
   |                    [Sign Receipt]                       |
   |                    [Chain to Previous]                  |
   |<-- PERMITTED/DENIED -----|                              |
   |                          |                              |
   |                    [Export Bundle]                       |
   |                          |--------- evidence.json ----->|
   |                          |                  [Verify Signatures]
   |                          |                  [Verify Chain]
   |                          |                  [Verify Merkle Tree]
   |                          |                  [PASS / FAIL]

Proxy de Gobernanza MCP

Ejecute AGA como un proxy transparente entre cualquier cliente MCP y cualquier servidor MCP. Cada llamada a una herramienta se evalúa según la política y produce un recibo firmado.

# Start the proxy with an upstream MCP server
npx tsx src/proxy/index.ts start --upstream "npx -y @modelcontextprotocol/server-filesystem /tmp/test" --profile standard

# Export the evidence bundle
npx tsx src/proxy/index.ts export --output evidence.json

# Verify
npx tsx src/proxy/index.ts verify evidence.json

El proxy intercepta las solicitudes tools/call, las evalúa contra un artefacto de política sellado y genera recibos firmados. Las llamadas permitidas se reenvían al servidor descendente. Las llamadas denegadas devuelven un error MCP. Cada decisión está vinculada mediante hash en una cadena a prueba de manipulaciones.

Tres perfiles de política integrados:

• permissive - registra todo, no bloquea nada (predeterminado)

• standard - límites de tasa + bloquea operaciones destructivas

• restrictive - lista de permitidos de herramientas explícita, todas las herramientas desconocidas denegadas

Verificación (5 pasos)

1. Verificación de algoritmo - El paquete declara Ed25519-SHA256-JCS, falla cerrada ante cualquier otra cosa

2. Firmas de recibo - Ed25519 sobre JSON canónico RFC 8785 (campo de firma excluido)

3. Integridad de la cadena - previous_receipt_hash de cada recibo = SHA-256 del recibo anterior

4. Pruebas de Merkle - Recorrer hermanos/direcciones hasta la raíz, comparar con la raíz del paquete

5. Consistencia del paquete - Recuento de pruebas = recuento de recibos, los hashes de las hojas coinciden con los hashes de los recibos

Primitivas criptográficas

Puerta de enlace en vivo

La puerta de enlace de demostración está desplegada en Cloudflare Workers:

# Check status
curl https://aga-mcp-gateway.attestedintelligence.workers.dev/health

# Export evidence bundle
curl https://aga-mcp-gateway.attestedintelligence.workers.dev/bundle -o evidence-bundle.json

SDK de Python

pip install aga-governance

from aga import AgentSession

with AgentSession(gateway_id="my-gateway") as session:
    session.record_tool_call(
        tool_name="search_web",
        decision="PERMITTED",
        reason="tool in allowlist",
        request_id="req-1",
    )
    bundle = session.export_bundle()
    result = session.verify()
    assert result["overall_valid"]

Suite de pruebas

Más de 355 pruebas automatizadas en TypeScript y Python:

• Servidor MCP de TypeScript: 218 pruebas (vitest)

• SDK de Python: 137 pruebas (pytest)

• Vectores de prueba entre lenguajes: 37 vectores en 9 categorías

npm test                              # TypeScript tests

Para el SDK de Python, instale aga-governance desde PyPI: https://pypi.org/project/aga-governance/

Estructura del proyecto

src/                   # Core protocol: artifacts, receipts, chain, Merkle, crypto, portal state machine
  core/                # Governance primitives (artifact, receipt, chain, portal, bundle)
  crypto/              # Ed25519, SHA-256, BLAKE2b, Merkle, JCS canonicalization
  proxy/               # MCP governance proxy (transparent interception + policy enforcement)
  tools/               # MCP tool handlers (20 tools)
  middleware/          # Zero-trust governance enforcement wrapper
independent-verifier/  # Standalone verifier with zero AGA imports
scenarios/             # Deployment scenarios (SCADA, drone, AI agent)
tests/                 # TypeScript test suite (218 tests)

Enlaces

• Sitio web

• Tecnología

• Verificador en vivo

• Confianza y alcance

• Materiales de diligencia

• Servidor MCP (npm)

• SDK de Python (PyPI)

Seguridad

Consulte SECURITY.md para informar sobre vulnerabilidades.

Contribución

Consulte CONTRIBUTING.md para la configuración y las directrices de desarrollo.

Licencia

MIT

Attested Intelligence Holdings LLC