MATEMÁTICAS, NO PROMESAS.

Gobernanza previa
de acciones autónomas.

DOF-MESH intercepta, evalúa y bloquea agentes, scripts y workflows antes de actuar.
Cada decisión deja evidencia auditable.

Verificación determinística · ALLOW · REVIEW · BLOCK · Evidencia auditable

Scroll
Tres pasos. Sin configuración.

Integra. Verifica. Atestigua.

1

Instala el SDK

pip install dof-sdk. Una línea. Sin dependencias adicionales.

2

Verifica cada decisión

DOF intercepta cada acción antes de ejecutarse. Z3 verifica. 4/4 invariantes probados.

3

Atestigua on-chain

Hash keccak256 inmutable en blockchain. El regulador puede verificarlo. Para siempre.

Prueba en Vivo

Una decisión. Una prueba verificable.

Cada acción es validada con constraints formales antes de ejecutarse.

DOF · Verification Engine · live
Ver en blockchain →

Validación Externa · Winston Experiment

Probamos 10 modelos frontier.
Ninguno pudo gobernarse solo.

Con DOF activo: mejora promedio de +26.1%. Scorer determinístico, 0 LLMs. Validado externamente en Adaline (200M+ llamadas API/día).

Modelo Con DOF Sin DOF Delta
DeepSeek-V3 88.7 38.7 +50.0
GLM-4.5 90.0 42.7 +47.3
Mistral Large 78.7 41.3 +37.4
Claude Sonnet ✦ 90.0 56.0 +34.0
ChatGPT-4o 88.7 63.0 +25.7
Gemini 2.5 Pro 84.7 71.3 +13.4

✦ Incluyendo este modelo. Datos completos en experiments/winston_vs_baseline/

El problema

Los reguladores preguntan algo que nadie puede responder hoy.

"¿Cómo prueba que su agente de IA actuó correctamente?" La Superintendencia Financiera ya exige la respuesta. Hoy ninguna empresa colombiana la tiene. Los logs son editables y alucinan.

IA vigilando a IA no es prueba

La industria usa un LLM para supervisar a otro. Es testimonio editable, no evidencia. El vigilante también alucina y puede ser manipulado.

Los logs son editables

Cualquier registro que un sistema escribe sobre sí mismo puede borrarse o modificarse. Ante auditoría regulatoria eso vale cero.

Sin prueba, sin autonomía real

Empresas que dan autonomía a su IA sin evidencia criptográfica quedan expuestas a sanciones, demandas y pérdida de licencias regulatorias.

DOF-MESH es la respuesta técnica

Una cámara de seguridad ineditable para agentes de IA. Verificación matemática Z3, registros criptográficos en blockchain. Imposible de borrar o editar.

La Solución

DOF no monitorea.
DOF prueba.

Tu agente está a punto de ejecutar una acción. DOF intercepta esa decisión antes de que ocurra, la convierte en restricciones matemáticas y la pasa por Z3 en milisegundos. Sin LLM. Sin interpretación. Si pasa las reglas, se ejecuta y genera un hash en blockchain. Si no, se bloquea. Ese hash es lo que presentas ante un regulador. No un log. Una prueba.

Decisión → restricciones → Z3 → recibo criptográfico
Hash inmutable on-chain en menos de 30ms, sin tokens LLM
Integración en una línea para cualquier agente existente
Agnóstico: Python, Node, cualquier framework
Governance ANTES de ejecutar — no después

La mayoría de frameworks verifica lo que pasó. DOF verifica lo que está a punto de pasar.

L1 Constitution Core
L2 AST Validator Parse
PRE Tool Hook Gate Pre-Exec
L3 Supervisor Engine Monitor
L4 Adversarial Guard Defense
L5 Memory Layer Store
L6 Z3 SMT Verifier Formal
L7 Oracle Layer Chain

El Estándar DOF-MESH

Testimonio vs Prueba.

La diferencia no es de calidad. Es de categoría.

Dimensión Estándar Actual
IA vigilando IA
DOF-MESH
Evidencia Logs escritos por la misma IA ✓ Prueba matemática inmutable
Vulnerabilidad El vigilante alucina o es manipulado ✓ Inmunidad matemática (100% determinista)
Auditoría Archivos editables internamente ✓ Registro público en blockchain independiente
Eficiencia Consume tokens LLM por decisión ✓ 0 tokens LLM · decisión en <30ms

DOF Multichain

DOF Multichain.
Pruebas sin fronteras.

DOFProofRegistry en 9 chains: 4 mainnets + 5 testnets. 30+ attestations verificables públicamente. Sin fees en SKALE Europa.

Avalanche
Base
Celo
Tempo
Polygon
SKALE
Conflux
Fuji

ERC-8004 Identity Registry · Avalanche C-Chain

0x8004A169FB4a3325136EB29fA0ceB6D2e539a432
Fuji Base Sep. Poly Amoy Conflux Test SKALE Sep. Avax Base Celo Tempo · Chain 4217 · Stripe+Paradigm L1 Tempo DOF PROOF +6 planned

Quick Install

En producción en 24 horas.

pip install y listo. O lanza el mesh completo con Docker en un solo comando.

python
$ pip install dof-sdk

from dof import DOFVerifier

verifier = DOFVerifier()
result = verifier.verify_action(
    agent_id="apex-1687",
    action="transfer",
    params={"amount": 500, "token": "USDC"}
)
# → verdict: "APPROVED"
# → z3_proof: "4/4 VERIFIED"
# → latency_ms: 8.2
# → attestation: "0x44b45cd026916c..."
$ git clone https://github.com/Cyberpaisa/DOF-MESH.git
$ cd DOF-MESH && cp .env.example .env
$ docker-compose up -d --build

# A2A Server activo en localhost:8000
# 9 agentes · 11 crews · governance activo
# {"status":"ok","agents":9,"crews":11}
dof verify-states
$ dof verify-states
PROVEN GCR_INVARIANT # Governance score = 1.0 always
PROVEN SS_FORMULA # SS(f) = 1 - f^3 for r=2
PROVEN SS_MONOTONICITY # Lower failure = higher score
PROVEN SS_BOUNDARIES # Score always in [0, 1]
4/4 theorems verified · Z3 proof time: 2.1ms
$ dof attest --chain avalanche --agent 1687
ON-CHAIN TX: 0x154a3F...09A26F6 · Block 54,291,007
Proof registered on Avalanche C-Chain · $0.003 gas

Para desarrolladores

Integra en cualquier stack.

DOF expone governance vía 4 protocolos estándar. Sin lock-in.

SDK Python
pip install dof-sdk. API completa con verify(), prove() y attest()
pip install dof-sdk
REST API
14 endpoints FastAPI. POST /verify, GET /metrics, POST /prove
POST /api/verify
MCP Server
10 tools via JSON-RPC 2.0. Compatible con Claude, cualquier MCP client
python3 mcp_server.py
A2A Protocol
Agent-to-Agent v0.3.0. Cualquier agente puede llamar DOF governance
POST /.well-known/agent-card.json
ERC-8004
Identidad on-chain verificable. Agentes #1686 y #1687 en producción
8004scan.io/agents/avalanche/1687
Docs
Documentación completa: quickstart, CLI reference, Python API

Métricas de Producción

Una Red a Escala

La infraestructura DOF-MESH opera en producción. Cada número está respaldado por attestations on-chain verificables.

0
Líneas de Código
0
Módulos Activos
0
Tests Verificados
0
Chains con Proofs
0
Rust Gate Latencia
0
Agentes A2A Activos
0
Crews CrewAI
0
Attestations On-Chain

Proyectos Activos

Lo Activo en DOF-MESH

9 componentes en producción.

● Live
DOF-MESH
Framework principal. 65K+ LOC, 173 módulos, governance 7 capas, Z3 verifier, Rust gate 7µs, Docker Citadel.
● Live
equipo-de-agentes
Multi-agente CrewAI. 9 agentes, 11 crews, DOF SDK v0.8.0, Telegram Bot, Streamlit, A2A Server activo en :8000.
Dev
DOF SDK v0.8.0
Librería TypeScript/Python para integrar governance DOF en cualquier agente externo. ACP Evaluator incluido.
● Live
Apex Arbitrage #1687
Agente Python. Arbitraje triangular Bellman-Ford en Avalanche. Whale monitor, new pair detection, señales x402.
● Live
AvaRiskScan #1686
Agente Node+Python. Análisis de riesgo DeFi en Avalanche. Registrado como AvaBuilder en ERC-8004.
● Live
dof-governance
Frontend governance on-chain. ethers.js + Node.js. Visualización DOFProofRegistry en 9 chains. Vercel.
● Mainnet
ERC-8004 Identity
Contrato on-chain para identidad de agentes. Avalanche C-Chain mainnet. Registro de metadata y reputación.
● 9 Chains
DOFProofRegistry
Registro de pruebas DOF en 9 chains. Cada ejecución genera hash inmutable. Attestations verificables on-chain.

La pregunta que cambia todo

¿Puedes probar quién
autorizó la acción?

DOF-MESH gobierna acciones autónomas antes de actuar.
Cada decisión deja evidencia auditable.

Construido por Cyber Paisa, Medellín.

Matemáticas, no promesas.

¿Necesitas ayuda?