DOCUMENTACIÓN OPERATIVA EN PÁGINA

Cómo Funciona Matlock en la Práctica (Listo en 2 Minutos)

Matlock — Herramientas para Agentes y Desarrolladores. Eficiente. Exacto. Según las reglas. Apunta Matlock a cualquier carpeta de proyecto para verificar en < 50ms AST, MITRE CWE, IEEE Std 1003.1 POSIX, CISA SSDF y AICPA SOC 2 TSC, con protección de pruebas Salvaguarda, sandboxes de Caja fría y procedencia verificada en PR con GitHub Action.

01 · Ejecuta un análisis local de código y Pre-CI en menos de 50ms

Selecciona cualquier carpeta local del proyecto mediante Examinar (o arrástrala al escáner WASM del navegador) y ejecuta Matlock. Matlock analiza tu árbol de código directamente en la memoria local en milisegundos, sacando a la luz archivos de Código Oscuro sin pruebas, módulos monolíticos sobredimensionados, secretos expuestos (ruta relativa exacta folder/file:line mostrada gratis en los Informes de Salud del Código, nunca el valor secreto) y controles previos al commit basados en estándares con 0 bytes enviados a Matlock. Matlock evalúa controles técnicos de base de código y canalización frente a MITRE CWE, CISA SSDF, IEEE Std 1003.1 POSIX, compuertas automatizadas de integridad Pre-CI y controles técnicos de AICPA SOC 2 Trust Services Criteria (solo controles técnicos; no constituye una certificación CPA).

02 · MCP Local y Headless en la Nube de 27 Herramientas (Configuración -> Agente de IA (MCP))

Matlock solo lee tu proyecto de forma predeterminada (si activas Restaurar en Configuración, únicamente repone una prueba registrada tras aprobar una vista previa línea por línea). Sigue las Principales Recompensas de Puntos, pulsa Copiar prompt para agente o abre Configuración -> Agente de IA (MCP) para activar Servidor MCP (stdio) y el Puente opcional de correo (o ejecuta matlock-mcp --stdio --headless en Linux, macOS arm64, Windows o contenedores en la nube) con Kimi Code CLI, Qwen Code, DeepSeek, Antigravity, VS Code, Visual Studio, Cursor, Windsurf, Cline, Claude Code, Gemini, Copilot, Android Studio, IntelliJ, Ollama, vLLM, SGLang o LM Studio. Tu asistente ejecuta matlock_run_scan en < 50ms, prueba un único archivo mediante matlock_run_sequence(file: ""), lanza ejecuciones no bloqueantes con async: true (despertar automático al terminar y cápsula compacta en matlock_get_action_status) y detiene secuencias con stop_sequence (matlock_stop_action). Pulsa ? o F1 en la app, invoca matlock_read_appliance_manual (0 créditos) o comparte /es/manual.md.

03 · Tarjetas de Acción, Puntos de Guardado, Alertas por Correo e Insignia PR

Pulsa Matlock en la barra izquierda para ejecutar Clean -> Get -> Format -> Lint -> Analyze/Build -> Test con cobertura en una sola pasada, usa la Terminal acoplada siempre abierta y la barra CLI (Guardar como tarjeta y Encadenar / Alerta), o programa Tarjetas de Acción y Secuencias de 20 pasos para puntos de guardado en USB o disco externo (robocopy /MIR /MT:16 en Windows; rsync -a --delete / / en Linux/GoogleBook), almacenamiento en la nube (rclone / AWS S3 / Cloudflare R2 / GCS / Azure Blob) y envío a GitHub (git push origin main con aprobación humana física Approve & Run en escritorio). Abre Configuración -> Alertas por correo para configurar SMTP de solo salida con TLS 1.2/1.3 nativo y ajustes globales predefinidos (Gmail / Workspace, Microsoft 365 / Outlook, iCloud, Yahoo, Zoho, código de autorización QQ / 163, Fastmail, GMX / Web.de o Proton Mail Bridge local 127.0.0.1:1025) con contraseñas de aplicación cifradas en el llavero/bóveda del sistema y disparo por paso solo en error (stop_and_alert / continue_and_alert) o incondicional (always / send_alert). En Pull Requests ejecuta Dutchp2p/matlock-public@v1 y cita https://matlock.dutchp2p.com/badge/verified.svg.

04 · Salvaguarde Reglas y Pipelines frente a Manipulación de IA

Cada Prueba Personalizada, Acción, Secuencia y Alerta queda por defecto Salvaguardada (Solo Leer y Ejecutar), sellada localmente en su perfil del sistema fuera del repositorio (Windows DPAPI + Linux 0600 HMAC-SHA256). La IA puede correr pruebas libremente, pero cualquier edición externa no autorizada sobre una comprobación salvaguardada se detecta y retiene al instante.

Salto por línea base verificada (<105ms) + Salvaguarda y cerrojo de anomalías de sala limpia.

05 · Active Pro Sin Conexión, Sin Cuenta ni Correo

Matlock Pro (aprox. 23 €* ($24.99 USD / año) fijos, cero renovación automática) no exige cuenta de usuario ni contraseña. Completa el pago mediante Pagar con Tarjeta (MoonPay y Transak), transferencia guiada de PayPal PYUSD (usando tu saldo actual de PayPal o tarjeta de débito) o stablecoins en USD Web3 en 1 clic (Solana USDC, Base USDC o Polygon USDC): tu Clave de Activación continua de 24 caracteres (por ejemplo, i34324h32HNbN4u9Kp7xYz8Q — haz doble clic para copiarla) aparece al instante en pantalla junto con un registro no listado en /receipt/ y un correo opcional de recibo enviado una sola vez desde matlock@dutchp2p.com (0 segundos de almacenamiento persistente del correo). Pega la clave una sola vez en Ajustes -> Licencia -> Activar en la aplicación de escritorio para vincular a tu dispositivo una licencia sin conexión firmada criptográficamente, incluido 1 traslado de PC de autoservicio al año.

Dónde encaja Matlock

Tres entornos reales de despliegue. Un motor determinista.

Diseñado para contenedores aislados de agentes en la nube, bucles autónomos IDE/M2M y estaciones de trabajo locales de desarrollo.

01 · Máquinas virtuales y sandboxes de larga duración

Máquinas virtuales en la nube y sandboxes de agentes de larga ejecución

MCP sin interfaz listo para contenedores en enjambres aislados y agentes de largo horizonte. Los sandboxes en la nube resuelven el aislamiento de ejecución, no la corrección del código. Una máquina virtual en la nube impide que un agente dañe el portátil de un desarrollador, pero no evita que filtre secretos en un PR, debilite pruebas para superar un hito o queme $500 en tokens releyendo sus propios errores durante una sesión de 12 horas. Matlock actúa como el gobernador determinista dentro del contenedor. Como se ejecuta sin interfaz, con conocimiento cero y devuelve coordenadas CWE/POSIX compactas en menos de 300 tokens, funciona como el guardarraíl ligero que mantiene a los agentes en la nube de larga duración honestos y económicos, ya sea en AWS, Google Cloud, Cloudflare, Azure, Docker o una estación de trabajo local.

02 · Canalizaciones de agentes IDE MCP y M2M

Canalizaciones de agentes autónomos M2M y MCP en el IDE

Apilar modelos LLM revisores sobre modelos LLM programadores consume entre 15.000 y 40.000 tokens por pasada y aun así pasa por alto fugas entre archivos y condiciones de carrera. Matlock Pro (aprox. 23 €* ($24.99 USD / año) con ejecuciones ilimitadas a $0.00/ejecución mediante MATLOCK_LICENSE_KEY y «Sincronizar con Headless») descarga las comprobaciones AST, MITRE CWE, IEEE POSIX.1, Flutter 3.50, TLS y Caja fría a código nativo en < 50 ms con diffs exactos file:line:col y cortacircuitos de 2 niveles.

03 · Desarrolladores independientes, vibe coders y líderes

Desarrolladores independientes, vibe coders y líderes de ingeniería

Cuando los agentes escriben miles de líneas en una tarde, los desarrolladores no deberían volver a teclear comandos de terminal, temer claves filtradas al hacer git push ni adivinar la preparación técnica ante AICPA SOC 2 TSC o HIPAA. Salvaguarda en escritorio bloquea el debilitamiento silencioso de pruebas, «Sincronizar con Headless» comparte tarjetas en ambos sentidos y las rutinas USB/Nube/GitHub en 1 clic corren con alertas privadas SMTP de solo salida y 0 bytes enviados al exterior.

Comparativa por categoría

Matlock Pro frente a linters CLI y escáneres empresariales en la nube

Verificación determinista en estación de trabajo y contenedor sin scripts manuales de CLI ni cuotas SaaS por asiento.

Capacidad	Matlock Pro (aprox. 23 €* ($24.99 USD / año))	Linters CLI ($0 — Manual)	Escáneres empresariales en la nube ($288–$864+/asiento/año)
Precio anual	*Tarifa plana aprox. 23 € ($24.99 USD / año) · Análisis gratuito $0**	$0 configuración manual	$288–$864+/asiento/año
Sandbox multihilo de Caja fría	Expone condiciones de carrera y fallos de CI en sala limpia	Solo lint estático	Cola remota tras hacer push
Privacidad de conocimiento cero	0 bytes enviados al exterior (estación o contenedor propio)	Configuraciones locales sin sellar	Código fuente subido al proveedor
Modo sin interfaz y contenedores cloud	IDE local + AWS, GCP, Cloudflare, Azure y Docker	Cableado manual en contenedor	Tokens SaaS salientes
Motor determinista	Binario AST compilado (no LLM revisando a otro LLM)	Reglas de un solo lenguaje	Reglas en la nube + IA tarificada
Ahorro de tokens	< 300 tokens frente a 15k–40k de media LLM (hasta 95%+ de ahorro*)	Registros brutos de varios kB	Respuestas de API extensas
Preparación de estándares y controles*	MITRE CWE, IEEE POSIX.1, CISA SSDF, AICPA SOC 2 y HIPAA*	Solo sintaxis y estilo	Nivel adicional de cumplimiento
Políglota y multiplataforma	10 pilas de lenguajes · cualquier SO de destino	1 herramienta por lenguaje	Varía según el plan por asiento
Protección de pruebas con Salvaguarda	Bloquea el debilitamiento o salto silencioso de pruebas	Exclusiones en línea editables	Sin sello local de pruebas
Rutinas editables de 1 pulsación	Secuenciador, paradas por fallo y respaldo/apagado	Scripts de shell manuales	Solo escáner
MCP de 27 herramientas y alertas por correo	MCP stdio nativo + informes locales SMTP	Ninguno	Solo webhooks en la nube
Bajo uso de CPU/RAM y actualizaciones	1 núcleo de CPU libre · 0 demonios · actualizaciones	Actualizaciones manuales	Agentes en segundo plano
Puerta CI / Pull Request y SARIF 2.1.0	Action + insignia + SARIF (0 subidas)*	Script CLI manual*	Requiere acceso al repo en la nube*

* El ahorro de tokens varía según el tamaño del repositorio y la ventana de contexto. Los estándares se corresponden con controles técnicos de MITRE CWE, IEEE Std 1003.1 POSIX, CISA SSDF, AICPA SOC 2 TSC y las salvaguardas técnicas de HIPAA Security Rule (45 CFR § 164.312) (solo controles técnicos de código, no certificación formal CPA, HIPAA ni legal).

GLOSARIO DIAGNÓSTICO DE CÓDIGO OSCURO Y PRE-CI

Cómo Luce el Código Oscuro de la IA, Qué Rompe y Cómo lo Detiene Matlock

Fallos reales de producción introducidos durante sesiones rápidas de programación con IA — y cómo Auditoría Local Matlock + verificación Walk-Away los frenan antes de git push.

Riesgo de Código Oscuro IA	Impacto en Producción y CI	Solución Auditoría Local Matlock y Walk-Away
1. Código Oscuro sin Tests y Supresión Silenciosa de Errores — La IA crea servicios nuevos sin pruebas unitarias asociadas, supresión silenciosa de errores (CWE-391) y temporizadores o flujos asíncronos sin cerrar (CWE-401).	Pérdida silenciosa de datos, bloqueos de interfaz, fugas de memoria y regresiones descubiertas por usuarios finales en producción.	Auditoría Local Matlock cruza cada archivo de producción con tu suite de pruebas y señala la supresión silenciosa de errores y manejadores asíncronos abiertos en cumplimiento con los referentes CISA/MITRE CWE.
2. Archivos Gigantes >250 Líneas y Supresiones // ignore — Los agentes mezclan más de 500 líneas en un solo archivo, dejan TODO inconclusos o añaden // ignore: para callar linters comunes.	Deuda de comprensión extrema, ediciones futuras que rompen funciones vecinas y rechazos automáticos en App Store, Play Store o Microsoft Store.	Exige el techo de 250 líneas por archivo (CWE-1080), ignora por completo comentarios de supresión y prioriza divisiones modulares en 1 clic.
3. Trampas de CI Multiplataforma y Credenciales Expuestas — Fallos multiplataforma de rutas POSIX en Windows, scripts con CRLF, archivos locales no rastreados, deriva de lockfiles o credenciales API expuestas (CWE-798).	Los pipelines Linux de GitHub Actions fallan 10 minutos después del push o bots extraen claves expuestas en segundos.	Las compuertas Pre-CI independientes aplican especificaciones de portabilidad IEEE POSIX, referencias CISA SSDF y controles Pre-CI localmente antes de ejecutar git push.

CANALES OFICIALES DE DISTRIBUCIÓN

Descargar Matlock para Windows, Linux y GoogleBook

Aplicación nativa compilada de escritorio. Cero dependencias de navegador, cero puertos localhost y escaneo de diagnóstico gratuito para siempre.

Windows 10 y Windows 11 (x64)

Distribuido exclusivamente a través de Microsoft Store oficial (App ID: 9P5VNWVWLM4N). Firmado por Microsoft con actualizaciones automáticas.

Escritorio Linux y GoogleBook (.deb y AppImage)

Binario nativo de escritorio GTK3 Flutter empaquetado como matlock-linux-x64.deb sin FUSE (Ubuntu 22.04+, Debian 12+ y GoogleBook Linux) y matlock-linux-x64.AppImage portable (Fedora, Arch, Ubuntu, Debian). AppImage · .deb (GoogleBook / Debian) · SHA256SUMS

chmod +x matlock-linux-x64.AppImage && ./matlock-linux-x64.AppImage

sudo apt install ./matlock-linux-x64.deb

Cómo Activar o Trasladar tu Licencia Matlock Pro

Cuando haces clic en «Mejorar» dentro de la aplicación de escritorio de Matlock o visitas /es/pricing, se genera una clave de licencia continua única de 24 caracteres (p. ej., i34324h32HNbN4u9Kp7xYz8Q — cero guiones para que un doble clic seleccione todo el código de una vez) para tu sesión de pago. Cópialo y guárdalo.

Matlock guarda una licencia sin conexión firmada criptográficamente en almacenamiento local privado del perfil de usuario fuera de tu repositorio, sellada localmente en tu equipo y verificada 100% sin conexión en cada inicio con cero llamadas a servidores.

Inicio rápido de 2 líneas para contenedores y MicroVM

Arranque sin cabeza independiente del proveedor para Cloudflare ContainerHarness / Codex cloudflare/debian-trixie, Docker, E2B y Firecracker (verificado con SHA-256):

curl -sSfLO https://matlock.dutchp2p.com/agent-install.sh && curl -sSfLO https://matlock.dutchp2p.com/agent-install.sh.sha256 && (sha256sum -c agent-install.sh.sha256 2>/dev/null || shasum -a 256 -c agent-install.sh.sha256) && sh ./agent-install.sh
export PATH="$HOME/.local/bin:$PATH" && matlock-mcp --stdio --headless --no-coverage

PREGUNTAS FRECUENTES PARA DESARROLLADORES Y AGENTES

Preguntas frecuentes

Respuestas directas sobre verificación previa al commit, protección de pruebas Salvaguarda, ahorro de tokens, preparación normativa y configuraciones de agentes locales o en la nube.

¿Cómo sé si el código generado por mi IA está listo para producción?

Ejecuta Matlock antes de cada commit o lanzamiento. En menos de 50 ms localmente o dentro de tu contenedor, Matlock comprueba los árboles AST frente a MITRE CWE, IEEE POSIX.1, CISA SSDF y la modularidad de 250 líneas, y después ejecuta tu compilador y pruebas en un sandbox multihilo de Caja fría.

¿Cómo evito que los agentes de programación debiliten o salten pruebas solo para aprobar?

Salvaguarda de Matlock guarda una línea base a prueba de manipulaciones de tus pruebas unitarias verificadas en el almacenamiento del sistema operativo fuera del repositorio, donde los comentarios de exclusión en línea no surten efecto. Si un agente quita, omite o suaviza una aserción, Matlock lo señala de inmediato y puede restaurar la prueba original.

¿Cómo reduzco mi factura de tokens y cómputo de IA sin apilar agentes sobre agentes?

Hacer que un segundo LLM revise ediciones en múltiples archivos consume entre 15.000 y 40.000 tokens de contexto por pasada. Matlock descarga las comprobaciones deterministas de AST, CWE y POSIX a código nativo mediante MCP (matlock_run_scan), devolviendo coordenadas archivo:línea:columna sin duplicados y diffs de reparación de 5 líneas en menos de 300 tokens (hasta un 95%+ de reducción).

¿Cómo detecto claves de API filtradas, fallos de seguridad CWE y roturas de CI en Linux antes de hacer git push?

Ejecuta un análisis gratuito WebAssembly en el navegador en esta misma página (mostrando gratis las ubicaciones archivo:línea de secretos expuestos) o usa localmente la aplicación de escritorio Matlock. Matlock detecta claves incrustadas (CWE-798), puntos de inyección, trampas CRLF en scripts shell, deriva de lockfiles y roturas de rutas entre Windows y Linux antes de hacer git push.

¿Se puede usar Matlock en proyectos sensibles a HIPAA o AICPA SOC 2 y dentro de contenedores en AWS, Google Cloud o Cloudflare?

Sí: se envían 0 bytes de código fuente a Matlock, y MATLOCK_OFFLINE=1 impone un modo estricto aislado de red en tu estación de trabajo o contenedor de AWS, Google Cloud, Cloudflare, Azure o Docker. Matlock evalúa controles técnicos de código asociados a MITRE CWE, CISA SSDF, AICPA SOC 2 TSC y las salvaguardas técnicas de HIPAA Security Rule (45 CFR 164.312) (solo controles técnicos, no certificación CPA ni legal).

¿Qué lenguajes de programación, sistemas operativos, IDEs y modelos de IA funcionan con Matlock?

Matlock verifica 10 ecosistemas (Dart/Flutter, TypeScript/JS/Node, Python, Rust, Go, Java/Kotlin, C/C++, C#/.NET, SQL y Shell/YAML/Docker) orientados a cualquier sistema operativo. Su servidor MCP de 27 herramientas conecta Claude, Gemini, Codex, Cursor, Copilot, Kimi, Qwen, DeepSeek, GLM, Windsurf, Cline, VS Code, JetBrains y Ollama en Windows 10/11, Linux, GoogleBook y macOS Apple Silicon sin interfaz.

¿Tienes una Pregunta, un Falso Positivo o una Consulta de Licencia?

Evita colas de correo y filtros de spam. Envía una pregunta, un reporte de error o una nota de facturación directamente a nuestra cola privada de soporte sin registrarte.

Abrir Buzón de Soporte y Consultas

Conecta cualquier IDE, agente o contenedor (20 proveedores)

Aider

~/.aider.conf.yml · CLI

Amazon Q Developer

~/.aws/amazonq/mcp.json · IDE / AWS

Antigravity

.mcp.json · Carbon / Hydrogen · Orchestrator

Claude Code

.mcp.json · claude mcp add · CLI / Desktop

Cline / Roo Code

cline_mcp_settings.json · VS Code

Cloudflare ContainerHarness, Sandbox & Browser Run (Kitesurf)

stdio MCP + MATLOCK_LICENSE_KEY · matlock_audit.mjs · Edge / Browser

Codex CLI

~/.codex/config.toml · CLI

Continue

~/.continue/config.yaml · IDE

Copilot (GitHub / VS Code & Agentic Workflows)

.vscode/mcp.json · Dutchp2p/matlock-public@v1 · --format=sarif · IDE / CI

Cursor

.cursor/mcp.json · IDE

Devin

Workspace MCP · stdio · Cloud Agent

Docker / Cloud Container

docker | podman | nerdctl | finch · OCI / Cloud

Gemini CLI

~/.gemini/settings.json · CLI

JetBrains AI / Junie

Settings -> MCP Servers · IDE

Kimi Code

~/.kimi/mcp.json · IDE / CLI

Ollama / Local & OpenRouter

Local stdio MCP + CLI · Local / Router

OpenHands

config.toml [mcp] · Agent

Qwen Code

~/.qwen/settings.json · IDE / CLI

Windsurf

~/.codeium/windsurf/mcp_config.json · IDE

Zed

~/.config/zed/settings.json · IDE