DOCUMENTAÇÃO OPERACIONAL NA PÁGINA

Como o Matlock Funciona na Prática (Configuração em 2 Minutos)

Matlock — Ferramentas para Agentes e Desenvolvedores. Eficiente. Exato. Rigoroso. Aponte o Matlock para qualquer pasta de projeto para verificação em < 50ms de AST, MITRE CWE, IEEE Std 1003.1 POSIX, CISA SSDF e AICPA SOC 2 TSC, proteção de testes Salvaguarda, sandboxes de Caixa fria e proveniência de PR via GitHub Action.

01 · Execute uma varredura local de código e Pre-CI em menos de 50ms

Selecione qualquer pasta local do projeto via Procurar (ou solte-a no scanner WASM do navegador) e execute o Matlock. O Matlock analisa sua árvore de código diretamente na memória local em milissegundos — revelando arquivos de Código Escuro sem testes, módulos monolíticos superdimensionados, segredos expostos (caminho relativo exato folder/file:line exibido grátis nos Relatórios de Saúde do Código, nunca o valor secreto) e checagens pré-commit ancoradas em padrões com 0 bytes enviados ao Matlock. O Matlock avalia controles técnicos de base de código e pipeline contra MITRE CWE, CISA SSDF, IEEE Std 1003.1 POSIX, comportas automatizadas de integridade Pre-CI e controles técnicos do AICPA SOC 2 Trust Services Criteria (apenas controles técnicos; não é certificação CPA).

02 · MCP Local e Headless em Nuvem com 27 Ferramentas (Configurações -> Agente de IA (MCP))

O Matlock apenas lê o seu projeto por padrão (se você ativar Restaurar em Configurações, ele só recoloca um teste registrado após aprovação de uma prévia linha por linha). Siga as Principais Correções, clique em Copiar prompt para agente ou abra Configurações -> Agente de IA (MCP) para ativar o Servidor MCP (stdio) e a Ponte opcional de E-mail (ou inicie matlock-mcp --stdio --headless no Linux, macOS arm64, Windows ou contêineres em nuvem) com Kimi Code CLI, Qwen Code, DeepSeek, Antigravity, VS Code, Visual Studio, Cursor, Windsurf, Cline, Claude Code, Gemini, Copilot, Android Studio, IntelliJ, Ollama, vLLM, SGLang ou LM Studio. O assistente executa matlock_run_scan em < 50ms, testa um único arquivo via matlock_run_sequence(file: ""), dispara execuções não bloqueantes com async: true (despertar automático ao concluir e cápsula compacta via matlock_get_action_status) e interrompe sequências com stop_sequence (matlock_stop_action). Pressione ? ou F1 no app, chame matlock_read_appliance_manual (0 créditos) ou compartilhe /pt/manual.md.

03 · Cartões de Ação, Pontos de Salvamento, Alertas por E-mail e Selo PR

Clique em Matlock na barra lateral esquerda para executar Clean -> Get -> Format -> Lint -> Analyze/Build -> Test com cobertura em uma passagem unificada, use o Terminal acoplado sempre aberto e a barra CLI (Salvar como cartão e Encadear / Alerta), ou programe Cartões de Ação e Sequências de 20 etapas para pontos de salvamento em USB / disco externo (robocopy /MIR /MT:16 no Windows; rsync -a --delete / / no Linux/GoogleBook), armazenamento em nuvem (rclone / AWS S3 / Cloudflare R2 / GCS / Azure Blob) e envio ao GitHub (git push origin main protegido pela aprovação humana física Approve & Run no Desktop). Abra Configurações -> Alertas por e-mail para configurar SMTP somente de saída via TLS 1.2/1.3 nativo com predefinições globais (Gmail / Workspace, Microsoft 365 / Outlook, iCloud, Yahoo, Zoho, código de autorização QQ / 163, Fastmail, GMX / Web.de ou Proton Mail Bridge local 127.0.0.1:1025), senhas de aplicativo seladas no cofre/chaveiro do sistema e gatilhos por etapa apenas em erro (stop_and_alert / continue_and_alert) ou incondicionais (always / send_alert). Em Pull Requests de CI/CD, execute Dutchp2p/matlock-public@v1 e cite https://matlock.dutchp2p.com/badge/verified.svg.

04 · Salvaguarde Regras e Pipelines Contra Adulteração por IA

Cada Teste Personalizado, Ação, Sequência e Alerta nasce Salvaguardado (Somente Ler e Executar), selado localmente no perfil do seu sistema fora do repositório (Windows DPAPI + Linux 0600 HMAC-SHA256). A IA pode rodar testes livremente, mas qualquer tentativa externa de editar ou afrouxar regras salvaguardadas é bloqueada e retida para restauração em 1 clique.

Salto por linha de base verificada (<105ms) + Salvaguarda e trava de anomalia em sala limpa.

05 · Ative o Pro Offline Sem Conta e Sem E-mail

O Matlock Pro (aprox. R$ 140* ($24.99 USD / ano) fixos, zero renovação automática) não exige conta de usuário nem senha. Conclua o checkout via Pagar com Cartão (MoonPay e Transak), transferência guiada de PayPal PYUSD (usando seu saldo atual do PayPal ou cartão de débito) ou stablecoins em USD Web3 em 1 clique (Solana USDC, Base USDC ou Polygon USDC): sua Chave de Ativação contínua de 24 caracteres (por exemplo, i34324h32HNbN4u9Kp7xYz8Q — clique duas vezes para copiar) aparece na hora na tela com um registro não listado em /receipt/ e um e-mail opcional único de recibo enviado por matlock@dutchp2p.com (0 segundo de armazenamento persistente de e-mail). Cole a chave uma vez em Configurações -> Licença -> Ativar no aplicativo desktop para vincular ao seu dispositivo uma licença offline assinada criptograficamente, incluindo 1 transferência de PC por ano por autoatendimento.

Onde o Matlock se encaixa

Três realidades de implantação. Um motor determinístico.

Feito para contêineres isolados de agentes em nuvem, loops autônomos IDE/M2M e estações de trabalho locais de desenvolvimento.

01 · VMs em nuvem e sandboxes de longa duração

VMs em nuvem e sandboxes de agentes de longa execução

MCP headless pronto para contêineres em enxames isolados na nuvem e agentes de longo horizonte. Sandboxes em nuvem resolvem o isolamento de execução, não a correção do código. Uma VM na nuvem impede que um agente danifique o notebook do desenvolvedor — mas não impede que ele vaze segredos em um PR, enfraqueça testes para cumprir uma meta ou queime $500 em tokens relendo os próprios erros ao longo de uma execução de 12 horas. O Matlock assume o papel de governador determinístico dentro do contêiner. Como roda em modo headless, com conhecimento zero e retorna coordenadas CWE/POSIX compactas em menos de 300 tokens, atua como a proteção leve que mantém agentes em nuvem de longa duração honestos e econômicos — seja rodando em AWS, Google Cloud, Cloudflare, Azure, Docker ou em uma estação de trabalho local.

02 · Pipelines de agentes IDE MCP e M2M

Pipelines de agentes autônomos M2M e MCP no IDE

Empilhar LLMs revisores sobre LLMs programadores consome de 15.000 a 40.000 tokens por passagem e ainda deixa escapar vazamentos entre arquivos e condições de corrida. O Matlock Pro (aprox. R$ 140* ($24.99 USD / ano) com execuções headless ilimitadas a $0.00/execução via MATLOCK_LICENSE_KEY e «Sincronizar com Headless») transfere as verificações AST, MITRE CWE, IEEE POSIX.1, Flutter 3.50, TLS e Caixa fria para código nativo em < 50 ms com diffs exatos file:line:col e disjuntor de loops em 2 níveis.

03 · Desenvolvedores solo, vibe coders e líderes

Desenvolvedores solo, vibe coders e líderes de engenharia

Quando agentes escrevem milhares de linhas em uma tarde, desenvolvedores não deveriam redigitar comandos no terminal, temer chaves vazadas no git push nem adivinhar a prontidão técnica para AICPA SOC 2 TSC ou HIPAA. A Salvaguarda no desktop bloqueia o enfraquecimento silencioso de testes, «Sincronizar com Headless» compartilha cartões nos dois sentidos e as rotinas USB/Nuvem/GitHub de 1 clique rodam com alertas privados de e-mail SMTP somente de saída e 0 bytes enviados externamente.

Comparação por categoria

Matlock Pro vs. Linters CLI vs. Scanners Corporativos em Nuvem

Verificação determinística em estação de trabalho e contêiner sem scripts manuais de CLI nem mensalidades SaaS por assento.

Capacidade	Matlock Pro (aprox. R$ 140* ($24.99 USD / ano))	Linters CLI ($0 — Manual)	Scanners Corporativos em Nuvem ($288–$864+/assento/ano)
Preço anual	*Taxa fixa aprox. R$ 140 ($24.99 USD / ano) · Análise Grátis $0**	$0 configuração manual	$288–$864+/assento/ano
Sandbox multithread Caixa fria	Expõe condições de corrida e quebras de CI em sala limpa	Apenas lint estático	Fila remota pós-push
Privacidade de conhecimento zero	0 bytes enviados externamente (estação ou contêiner próprio)	Configurações locais sem selo	Código-fonte enviado ao fornecedor
Modo headless e contêineres cloud	IDE local + AWS, GCP, Cloudflare, Azure e Docker	Integração manual no contêiner	Tokens SaaS de saída
Motor determinístico	Binário AST compilado (não LLM revisando LLM)	Regras de uma única linguagem	Regras na nuvem + IA tarifada
Economia de tokens	< 300 tokens vs. média LLM de 15k–40k (até 95%+ de redução*)	Logs brutos de vários kB	Payloads extensos de API
Prontidão de padrões e controles*	MITRE CWE, IEEE POSIX.1, CISA SSDF, AICPA SOC 2 e HIPAA*	Apenas sintaxe e estilo	Plano extra de conformidade
Poliglota e multiplataforma	10 pilhas de linguagens · qualquer SO-alvo	1 ferramenta por linguagem	Varia conforme o plano por assento
Proteção de testes com Salvaguarda	Bloqueia enfraquecimento ou pulo silencioso de testes	Exclusões inline editáveis	Sem selo local de testes
Rotinas editáveis de 1 clique	Sequenciador, paradas em falha e backup/desligamento	Scripts shell manuais	Somente scanner
MCP de 27 ferramentas e alertas por e-mail	MCP stdio nativo + relatórios locais via SMTP	Nenhum	Apenas webhooks em nuvem
Baixo uso de CPU/RAM e atualizações	1 núcleo de CPU livre · 0 daemons · atualizações	Atualizações manuais	Agentes em segundo plano
Porta CI / Pull Request e SARIF 2.1.0	Action + selo + SARIF (0 upload)*	Wrapper CLI manual*	Requer acesso ao repo na nuvem*

* A economia de tokens varia conforme o tamanho do repositório e a janela de contexto. Os padrões mapeiam para controles técnicos de MITRE CWE, IEEE Std 1003.1 POSIX, CISA SSDF, AICPA SOC 2 TSC e salvaguardas técnicas da HIPAA Security Rule (45 CFR § 164.312) (apenas controles técnicos de código — não constitui certificação formal CPA, HIPAA ou jurídica).

GLOSSÁRIO DIAGNÓSTICO DE CÓDIGO ESCURO E PRÉ-CI

Como o Código Escuro da IA Aparece, Por Que Quebra e Como o Matlock o Barra

Falhas reais de produção introduzidas durante sessões aceleradas de programação com IA — e como Auditoria Local Matlock + verificação Walk-Away as interrompem antes do git push.

Risco de Código Escuro IA	Impacto em Produção e CI	Solução Auditoria Local Matlock e Walk-Away
1. Código Escuro sem Testes e Supressão Silenciosa de Erros — A IA cria serviços de produção sem testes unitários correspondentes, supressão silenciosa de erros (CWE-391) e timers ou streams assíncronos sem fechamento (CWE-401).	Perda silenciosa de dados, travamentos de interface, vazamento de memória e regressões que só aparecem para o cliente final.	A Auditoria Local Matlock cruza cada arquivo de produção com sua suíte de testes e aponta supressão silenciosa de erros e recursos assíncronos abertos em conformidade com os referenciais CISA/MITRE CWE.
2. God-Objects >250 Linhas e Supressões // ignore — Agentes empilham mais de 500 linhas em um único arquivo, deixam stubs TODO inacabados ou inserem // ignore: para calar linters comuns.	Dívida de compreensão altíssima, edições seguintes quebrando recursos vizinhos e reprovação automática na App Store, Play Store ou Microsoft Store.	Impõe o limite de 250 linhas por arquivo (CWE-1080), ignora comentários de supressão e prioriza divisões modulares com prompts em 1 clique.
3. Armadilhas de CI Multi-SO e Credenciais Vazadas — Falhas multiplataforma de caminhos POSIX no Windows, scripts CRLF, arquivos locais não rastreados, desvio de lockfile ou credenciais de API expostas (CWE-798).	Pipelines Linux no GitHub Actions falham 10 minutos após o push ou robôs capturam chaves expostas em segundos.	As comportas Pre-CI independentes aplicam especificações de portabilidade IEEE POSIX, referências CISA SSDF e verificações Pre-CI localmente antes do git push.

CANAIS OFICIAIS DE DISTRIBUIÇÃO

Baixar Matlock para Windows, Linux e GoogleBook

Aplicativo desktop nativo compilado. Zero dependências de navegador, zero portas localhost e diagnóstico gratuito para sempre.

Windows 10 e Windows 11 (x64)

Distribuído exclusivamente pela Microsoft Store oficial (App ID: 9P5VNWVWLM4N). Assinado pela Microsoft com atualizações automáticas.

Linux Desktop e GoogleBook (.deb e AppImage)

Binário nativo desktop GTK3 Flutter empacotado como matlock-linux-x64.deb sem FUSE (Ubuntu 22.04+, Debian 12+ e GoogleBook Linux) e matlock-linux-x64.AppImage portátil (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

Como Ativar ou Transferir Sua Licença Matlock Pro

Ao clicar em "Fazer upgrade" dentro do aplicativo desktop Matlock ou visitar /pt/pricing, uma chave de licença contínua e exclusiva de 24 caracteres (por exemplo, i34324h32HNbN4u9Kp7xYz8Q — zero hifens para que um clique duplo selecione a chave inteira de uma vez) é gerada para sua sessão de checkout. Copie e salve esta chave.

O Matlock salva uma licença offline assinada criptograficamente em armazenamento local privado do perfil de usuário fora do seu repositório, selada localmente no seu computador e verificada 100% offline em cada abertura, com zero chamadas de volta ao servidor.

Inicialização rápida de 2 linhas para contêineres e MicroVM

Bootstrap headless independente de provedor para Cloudflare ContainerHarness / Codex cloudflare/debian-trixie, Docker, E2B e Firecracker (verificado com 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

PERGUNTAS FREQUENTES PARA DESENVOLVEDORES E AGENTES

Perguntas frequentes

Respostas diretas sobre verificação pré-commit, proteção de testes Salvaguarda, economia de tokens, prontidão de conformidade e configurações de agentes locais ou em nuvem.

Como saber se o código gerado pela minha IA está pronto para produção?

Execute o Matlock antes de cada commit ou lançamento. Em menos de 50 ms localmente ou dentro do seu contêiner, o Matlock verifica as árvores AST contra MITRE CWE, IEEE POSIX.1, CISA SSDF e a modularidade de 250 linhas, rodando em seguida seu compilador e testes em um sandbox multithread de Caixa fria.

Como impedir que agentes de programação enfraqueçam ou pulem testes só para passar?

A Salvaguarda do Matlock armazena uma linha de base à prova de adulteração dos testes unitários verificados no armazenamento do sistema operacional fora do seu repositório, onde comentários inline para ignorar não fazem efeito. Se um agente remover, pular ou suavizar uma asserção, o Matlock sinaliza na hora e pode restaurar o teste original.

Como cortar minha conta de tokens e computação de IA sem empilhar agentes sobre agentes?

Colocar um segundo LLM para revisar edições em vários arquivos consome de 15.000 a 40.000 tokens de contexto por passagem. O Matlock transfere as checagens determinísticas de AST, CWE e POSIX para código nativo via MCP (matlock_run_scan), retornando coordenadas arquivo:linha:coluna sem duplicatas e diffs de reparo de 5 linhas em menos de 300 tokens (até 95%+ de redução).

Como capturar chaves de API vazadas, falhas de segurança CWE e quebras de CI no Linux antes do git push?

Execute uma análise gratuita WebAssembly no navegador nesta página (exibindo gratuitamente os locais arquivo:linha de segredos expostos) ou rode localmente o aplicativo desktop Matlock. O Matlock detecta chaves fixas no código (CWE-798), pontos de injeção, armadilhas CRLF em scripts shell, desvio de lockfiles e quebras de caminho entre Windows e Linux antes do git push.

O Matlock pode ser usado em projetos sensíveis a HIPAA ou AICPA SOC 2 e dentro de contêineres na AWS, Google Cloud ou Cloudflare?

Sim — 0 bytes de código-fonte são enviados ao Matlock, e MATLOCK_OFFLINE=1 aplica modo estrito isolado de rede na sua estação de trabalho ou contêiner AWS, Google Cloud, Cloudflare, Azure ou Docker. O Matlock avalia controles técnicos de código mapeados para MITRE CWE, CISA SSDF, AICPA SOC 2 TSC e salvaguardas técnicas da HIPAA Security Rule (45 CFR 164.312) (apenas controles técnicos, não certificação CPA ou jurídica).

Quais linguagens de programação, sistemas operacionais, IDEs e modelos de IA funcionam com o Matlock?

O Matlock verifica 10 ecossistemas (Dart/Flutter, TypeScript/JS/Node, Python, Rust, Go, Java/Kotlin, C/C++, C#/.NET, SQL e Shell/YAML/Docker) voltados para qualquer sistema operacional. Seu servidor MCP de 27 ferramentas conecta Claude, Gemini, Codex, Cursor, Copilot, Kimi, Qwen, DeepSeek, GLM, Windsurf, Cline, VS Code, JetBrains e Ollama no Windows 10/11, Linux, GoogleBook e macOS Apple Silicon em modo headless.

Tem uma Dúvida, Falso Positivo ou Nota sobre Licença?

Evite filas de e-mail e filtros de spam. Envie uma dúvida, relato de bug ou nota de cobrança direto para nossa fila privada de suporte sem criar conta.

Abrir Caixa de Suporte e Dúvidas

Conecte qualquer IDE, agente ou contêiner (20 provedores)

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