FILE 03 — audit engine Sentinel · L1 static + L2 dynamic checks run: 1,211,488 · live in production
Archivo 03 — confía en lo que el código hace, no en lo que dice

El código fuente miente.
Las syscalls no.

Un servidor MCP malicioso no se anuncia en el README. Se esconde tras imports ofuscados, rutas de import() calculadas, y funciones de limpieza que borran tu carpeta .ssh sin hacer ruido. Sentinel es el motor que no parpadea: 10 capas estáticas sobre el código, luego un sandbox L2 que realmente ejecuta el servidor bajo gVisor y graba cada syscall durante 30 segundos.

FIG. 03-A

La auditoría, dibujada

Del repo al veredicto, sin que un humano confíe en nada.

MCP repo clone · install isolated L1 — static ×10 L1.1 deps & CVEs L1.2 embedded secrets L1.3 obfuscated imports L1.4 dangerous capabilities L1.5 schema mismatch L1.6 overwrite patterns L1.7 network endpoints L1.8 eval / exec usage L1.9 prompt injection ×32 L2 — sandbox gVisor (recommended) Firecracker microVM WASM · Docker+seccomp run server · MCP handshake initialize · tools/list trace syscalls · 30 s fs · net · proc · unlink BEHAVIORAL REPORT findings + evidence + reproduction QUARANTINE 80 quarantined · 71 flagged risky 1 reads the code 2 catches what only happens at runtime 3 every finding carries its evidence
fig 03-a — L1 + L2 audit flowreproducible: audit id + scanner version + ruleset + sandbox image
TRY. 03

Corre las diez capas

Dos replays de formas reales de auditoría: un bot de facturas limpio, y una tool de PDF cuyo cleanup() quería más que basura. Las capas se encienden en orden de ejecución; el reporte imprime lo que el auditor recibiría.

sentinel audit — L1 ×10 + L2 trace replay · determinista
L1.1dependencies & CVEs—
L1.2embedded secrets—
L1.3obfuscated imports—
L1.4dangerous capabilities—
L1.5schema mismatch—
L1.6out-of-root overwrite—
L1.7network endpoints—
L1.8eval / exec usage—
L1.9prompt injection · 32 rules—
L2sandbox · syscall trace · 30 s—
esperando escaneo… elige un replay
MAP. 03

Mapeado al cheat sheet de OWASP para MCP

No un checklist inventado por nosotros — el de la industria. Las filas vivas están despachadas hoy; las fechadas están en el roadmap público.

owasp recommendationsentinel implementationstatus
Isolate tool executiongVisor sandbox, syscall-level tracelive
Scan for prompt injectionL1.9 — 32 ruleslive
Verify tool descriptions haven't changedCryptographic fingerprinting (SHA-256 + JCS)live
Monitor runtime behaviorBehavioral baseline + drift detectionv5.2 · 2027-Q1
Implement least privilegeCapability graph + org policies (→ Interceptor)v5.3 · 2027-Q2
Implement revocationATC revocation + transparency log (→ FILE 02)v5.1 · 2026-Q4
Hallazgos con evidencia primero. Cada hallazgo trae: Finding ID, severidad, confianza %, evidencia, ubicación y reproducción. Dos puntajes — qué tan peligroso y qué tan seguro — más Cobertura de Evidencia: cuánta superficie de la tool se verificó de verdad.
Auditorías reproducibles. Audit ID + versión del escáner + versión del ruleset + imagen del sandbox + timestamp. Correr la misma auditoría dos veces sobre la misma versión debe producir resultados idénticos — o una explicación escrita de por qué no.
prev file · 02
← ATC — agent trust card