DOCUMENTATION OPÉRATIONNELLE SUR PAGE

Comment Fonctionne Matlock en Pratique (Prêt en 2 Minutes)

Matlock — Outils pour Agents et Développeurs. Efficace. Exact. Dans les règles. Pointez Matlock vers n’importe quel dossier projet pour une vérification en < 50ms AST, MITRE CWE, IEEE Std 1003.1 POSIX, CISA SSDF et AICPA SOC 2 TSC, la protection des tests Safeguard, des bacs à sable Boîte froide et la provenance PR par GitHub Action.

01 · Lancez une analyse locale du code et Pre-CI en moins de 50ms

Sélectionnez n’importe quel dossier projet local via Parcourir (ou déposez-le dans le scanner WASM du navigateur) et lancez Matlock. Matlock analyse votre arborescence directement en mémoire locale en quelques millisecondes — révélant les fichiers de Code Sombre non testés, les modules monolithiques surdimensionnés, les secrets exposés (chemin relatif exact folder/file:line affiché gratuitement sur les Rapports de Santé du Code, jamais la valeur secrète) et des contrôles pré-commit ancrés dans les normes avec 0 octet envoyé à Matlock. Matlock évalue les contrôles techniques de base de code et de pipeline face à MITRE CWE, CISA SSDF, IEEE Std 1003.1 POSIX, aux portes automatisées d’intégrité Pre-CI et aux contrôles techniques AICPA SOC 2 Trust Services Criteria (contrôles techniques uniquement ; pas une certification CPA).

02 · MCP Local et Cloud Headless à 27 Outils (Paramètres -> Agent IA (MCP))

Matlock ne fait que lire votre projet par défaut (si vous activez Restaurer dans Paramètres, il ne rétablit un test enregistré qu’après approbation d’un aperçu ligne par ligne). Suivez les Principales Primes de Points, cliquez sur Copier le prompt agent ou ouvrez Paramètres -> Agent IA (MCP) pour activer Serveur MCP (stdio) et le Pont e-mail facultatif (ou lancez matlock-mcp --stdio --headless sous Linux, macOS arm64, Windows ou conteneurs cloud) avec 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. L’assistant lance matlock_run_scan en < 50ms, cible un seul fichier de test via matlock_run_sequence(file: ""), exécute sans blocage avec async: true (réveil automatique en fin de tâche et capsule compacte via matlock_get_action_status) et arrête une séquence via stop_sequence. Appuyez sur ? ou F1, appelez matlock_read_appliance_manual (0 crédit) ou partagez /fr/manual.md.

03 · Cartes d’Action, Points de Sauvegarde, Alertes E-mail et Badge PR

Cliquez sur Matlock dans la barre latérale gauche pour exécuter Clean -> Get -> Format -> Lint -> Analyze/Build -> Test avec couverture en une passe unifiée, utilisez le Terminal ancré toujours ouvert et la barre CLI (Enregistrer comme carte et Chaîner / Alerter), ou programmez des Cartes d’Action et des Séquences de 20 étapes pour des points de sauvegarde USB / disque externe (robocopy /MIR /MT:16 sous Windows ; rsync -a --delete / / sous Linux/GoogleBook), le stockage cloud (rclone / AWS S3 / Cloudflare R2 / GCS / Azure Blob) et le push GitHub (git push origin main soumis à l’approbation physique Approve & Run sur ordinateur). Ouvrez Paramètres -> Alertes par e-mail pour configurer le SMTP sortant uniquement en TLS 1.2/1.3 natif avec préréglages mondiaux (Gmail / Workspace, Microsoft 365 / Outlook, iCloud, Yahoo, Zoho, code d’autorisation QQ / 163, Fastmail, GMX / Web.de ou Proton Mail Bridge local 127.0.0.1:1025), mots de passe d’application scellés dans le trousseau/coffre OS et déclenchement sur erreur (stop_and_alert / continue_and_alert) ou inconditionnel (always / send_alert). En CI/CD, lancez Dutchp2p/matlock-public@v1 et citez https://matlock.dutchp2p.com/badge/verified.svg.

04 · Protégez Vos Règles et Pipelines Contre l’IA

Chaque Test Personnalisé, Action, Séquence et Alerte est par défaut Protégé (Lecture & Exécution Seules), scellé localement dans votre profil OS hors du dépôt (Windows DPAPI + Linux 0600 HMAC-SHA256). Votre assistant IA peut lancer les tests librement, mais toute modification externe non autorisée sur une vérification protégée est détectée et retenue pour restauration en 1 clic.

Saut de base vérifiée (<105ms) + verrouillage Safeguard et d’anomalie en salle blanche.

05 · Activez Pro Hors Ligne Sans Compte ni E-mail

Matlock Pro (env. 23 €* ($24.99 USD / an) fixes, sans renouvellement automatique) ne requiert ni compte utilisateur ni mot de passe. Finalisez le paiement via Payer par carte (MoonPay et Transak), par transfert guidé PayPal PYUSD (depuis votre solde PayPal existant ou votre carte de débit) ou en 1 clic via stablecoins USD Web3 (Solana USDC, Base USDC ou Polygon USDC) : votre clé d’activation continue de 24 caractères (par exemple i34324h32HNbN4u9Kp7xYz8Q — double-cliquez pour la copier) s’affiche immédiatement à l’écran avec un reçu non répertorié /receipt/ et un e-mail de reçu unique facultatif envoyé depuis matlock@dutchp2p.com (0 seconde de stockage persistant de l’e-mail). Collez la clé une seule fois dans Réglages -> Licence -> Activer dans l’application de bureau pour lier une licence hors ligne signée cryptographiquement à votre appareil, avec 1 transfert de PC en libre-service par an.

Où s’intègre Matlock

Trois réalités de déploiement. Un moteur déterministe.

Conçu pour les conteneurs d’agents cloud isolés, les boucles autonomes IDE/M2M et les postes de travail locaux de développement.

01 · VM cloud et bacs à sable longue durée

VM cloud et bacs à sable d’agents longue durée

MCP sans interface prêt pour conteneurs, essaims cloud isolés et agents longue durée. Les bacs à sable cloud résolvent l’isolation d’exécution, pas l’exactitude du code. Une VM cloud empêche un agent d’endommager l’ordinateur portable d’un développeur — mais pas de divulguer des secrets dans une PR, d’affaiblir des tests pour franchir un jalon ou de brûler 500 $ de jetons à relire ses propres erreurs sur une exécution de 12 heures. Matlock devient le régulateur déterministe au cœur du conteneur. Parce qu’il s’exécute sans affichage, à divulgation nulle et renvoie des coordonnées CWE/POSIX compactes en moins de 300 jetons, il sert de garde-fou léger qui maintient les agents cloud longue durée fiables et économiques — qu’ils tournent sous AWS, Google Cloud, Cloudflare, Azure, Docker ou sur un poste local.

02 · Pipelines d’agents IDE MCP et M2M

Pipelines d’agents autonomes M2M et MCP dans l’IDE

Empiler des LLM relecteurs au-dessus de LLM codeurs consomme 15 000 à 40 000 jetons par passage tout en laissant filer les fuites inter-fichiers et les conditions de concurrence. Matlock Pro (env. 23 €* ($24.99 USD / an) avec exécutions headless illimitées à $0.00/exécution via MATLOCK_LICENSE_KEY et « Synchroniser avec Headless ») décharge les contrôles AST, MITRE CWE, IEEE POSIX.1, Flutter 3.50, TLS et Boîte froide vers du code natif en < 50 ms avec diffs exacts file:line:col et coupe-circuit à 2 niveaux.

03 · Développeurs indépendants, vibe coders et responsables

Développeurs indépendants, vibe coders et responsables techniques

Lorsque les agents écrivent des milliers de lignes en un après-midi, les développeurs ne devraient ni retaper des commandes terminal, ni craindre des clés exposées lors d’un git push, ni deviner leur conformité technique AICPA SOC 2 TSC ou HIPAA. Safeguard sur bureau bloque l’affaiblissement silencieux des tests, « Synchroniser avec Headless » partage les cartes dans les deux sens et les routines USB/Cloud/GitHub en 1 clic s’exécutent avec alertes e-mail SMTP sortantes privées et 0 octet envoyé à l’extérieur.

Comparatif par catégorie

Matlock Pro face aux linters CLI et aux scanners cloud d’entreprise

Vérification déterministe sur poste de travail et en conteneur sans scripts CLI manuels ni abonnements SaaS par siège.

Capacité	Matlock Pro (env. 23 €* ($24.99 USD / an))	Linters CLI (0 $ — Manuel)	Scanners cloud d’entreprise (288 $–864 $+/siège/an)
Tarification annuelle	*Forfait env. 23 € ($24.99 USD / an) · Analyse gratuite 0 $**	0 $ configuration manuelle	288 $–864 $+/siège/an
Bac à sable multithread Boîte froide	Expose les accès concurrents et casses CI en salle blanche	Lint statique uniquement	File distante après push
Confidentialité à divulgation nulle	0 octet envoyé à l’extérieur (poste ou propre conteneur)	Configurations locales non scellées	Code source envoyé au fournisseur
Mode sans affichage et conteneurs cloud	IDE local + AWS, GCP, Cloudflare, Azure et Docker	Câblage manuel du conteneur	Jetons SaaS sortants
Moteur déterministe	Binaire AST compilé (pas de LLM relisant un LLM)	Règles monolangages	Règles cloud + IA facturée à l’usage
Économie de jetons	< 300 jetons contre 15k–40k en moyenne LLM (jusqu’à 95 %+ d’économie*)	Journaux bruts de plusieurs ko	Réponses d’API verbeuses
Préparation aux normes et contrôles*	MITRE CWE, IEEE POSIX.1, CISA SSDF, AICPA SOC 2 et HIPAA*	Syntaxe et style uniquement	Option conformité facturée en sus
Polyglotte et multiplateforme	10 piles de langages · tout OS cible	1 outil par langage	Variable selon le palier par siège
Protection des tests Safeguard	Bloque l’affaiblissement ou l’omission silencieuse des tests	Commentaires d’exclusion modifiables	Aucun scellé local des tests
Routines modifiables en 1 clic	Séquenceur, arrêts sur échec et sauvegarde/arrêt	Scripts shell manuels	Scanner uniquement
MCP à 27 outils et alertes e-mail	MCP stdio natif + rapports SMTP locaux	Aucun	Webhooks cloud uniquement
Faible charge CPU/RAM et mises à jour	1 cœur CPU gardé libre · 0 démon · mises à jour	Mises à niveau manuelles	Agents résidents en arrière-plan
Porte CI / Pull Request & SARIF 2.1.0	Action + badge + SARIF (0 envoi)*	Script CLI manuel*	Accès dépôt cloud requis*

* L’économie de jetons varie selon la taille du dépôt et la fenêtre de contexte. Les normes correspondent aux contrôles techniques MITRE CWE, IEEE Std 1003.1 POSIX, CISA SSDF, AICPA SOC 2 TSC et aux garanties techniques HIPAA Security Rule (45 CFR § 164.312) (contrôles techniques du code uniquement — ni certification formelle CPA, HIPAA ni avis juridique).

GLOSSAIRE DIAGNOSTIQUE DARK CODE & PRÉ-CI

À Quoi Ressemble le Dark Code IA, Ses Dégâts et Comment Matlock l’Arrête

Défaillances de production concrètes introduites lors des sessions de codage IA rapides — et comment l’Audit Local Matlock + la vérification Walk-Away les bloquent avant git push.

Risque de Dark Code IA	Impact en Production & CI	Remède Audit Local Matlock & Walk-Away
1. Dark Code Non Testé & Suppression Silencieuse d’Erreurs — L’IA génère de nouveaux services sans tests unitaires associés, une suppression silencieuse d’erreurs (CWE-391) et des timers ou flux asynchrones non fermés (CWE-401).	Pertes de données silencieuses, gels d’interface, fuites mémoire et régressions découvertes en production par vos utilisateurs.	L’Audit Local Matlock croise chaque fichier de production avec votre suite de tests et signale la suppression silencieuse d’erreurs ainsi que les flux asynchrones non fermés conformément aux référentiels CISA/MITRE CWE.
2. God-Objects >250 Lignes & Contournements // ignore — Les agents empilent plus de 500 lignes dans un fichier, laissent des TODO inachevés ou ajoutent // ignore: pour faire taire les linters classiques.	Dette de compréhension massive, régressions en cascade lors des retouches IA et rejets automatiques sur App Store, Play Store ou Microsoft Store.	Impose la limite de 250 lignes (CWE-1080), ignore totalement les commentaires de suppression et classe les découpages modulaires avec prompts en 1 clic.
3. Pièges CI Inter-OS & Clés Secrètes Exposées — Écarts multiplateformes de chemins POSIX tolérés sous Windows, scripts CRLF, imports locaux non suivis, dérive de lockfile ou identifiants API exposés (CWE-798).	Les pipelines Linux GitHub Actions échouent 10 minutes après le push ou des robots aspirent vos clés exposées en quelques secondes.	Les sas Pre-CI autonomes appliquent les spécifications de portabilité IEEE POSIX, les référentiels CISA SSDF et les contrôles Pre-CI localement avant tout git push.

CANAUX OFFICIELS DE DISTRIBUTION

Télécharger Matlock pour Windows, Linux & GoogleBook

Application de bureau native compilée. Zéro dépendance navigateur, zéro port localhost et diagnostic gratuit à vie.

Windows 10 et Windows 11 (x64)

Distribué exclusivement via le Microsoft Store officiel (ID d’application : 9P5VNWVWLM4N). Signé par Microsoft avec mises à jour automatiques.

Bureau Linux & GoogleBook (.deb & AppImage)

Binaire de bureau natif GTK3 Flutter distribué sous forme de paquet matlock-linux-x64.deb sans FUSE (Ubuntu 22.04+, Debian 12+ et Linux pour GoogleBook) et d’AppImage portable matlock-linux-x64.AppImage (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

Comment Activer ou Transférer Votre Licence Matlock Pro

Lorsque vous cliquez sur « Mettre à niveau » dans l’application de bureau Matlock ou visitez /fr/pricing, une clé de licence continue unique de 24 caractères (par ex. i34324h32HNbN4u9Kp7xYz8Q — zéro tiret afin qu’un double-clic sélectionne toute la clé d’un coup) est générée pour votre session de paiement. Copiez et conservez cette clé.

Matlock enregistre une licence hors ligne signée cryptographiquement dans un stockage privé du profil utilisateur hors de votre dépôt, scellée localement sur votre ordinateur et vérifiée 100 % hors ligne à chaque démarrage sans aucun appel vers nos serveurs.

Lancement rapide en 2 lignes pour conteneurs et MicroVM

Démarrage sans interface agnostique pour Cloudflare ContainerHarness / Codex cloudflare/debian-trixie, Docker, E2B et Firecracker (vérifié 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

FAQ DÉVELOPPEURS ET AGENTS

Questions fréquentes

Réponses directes sur la vérification pré-commit, la protection des tests Safeguard, l’économie de jetons, la préparation à la conformité et l’intégration d’agents locaux ou cloud.

Comment savoir si mon code généré par l’IA est prêt pour la production ?

Lancez Matlock avant chaque commit ou publication. En moins de 50 ms localement ou dans votre conteneur, Matlock contrôle les arbres AST selon MITRE CWE, IEEE POSIX.1, CISA SSDF et la modularité à 250 lignes, puis exécute votre compilateur et vos tests dans un bac à sable multithread Boîte froide.

Comment empêcher les agents de codage d’affaiblir ou d’ignorer des tests juste pour passer au vert ?

Matlock Safeguard enregistre une référence inviolable de vos tests unitaires vérifiés dans le stockage du système hors de votre dépôt, là où les commentaires d’exclusion en ligne n’ont aucun effet. Si un agent retire, ignore ou assouplit une assertion, Matlock le signale aussitôt et peut rétablir le test d’origine.

Comment réduire ma facture de jetons et de calcul IA sans empiler des agents sur d’autres agents ?

Faire relire des modifications multi-fichiers par un second LLM consomme entre 15 000 et 40 000 jetons de contexte par passage. Matlock décharge les contrôles déterministes AST, CWE et POSIX vers du code natif via MCP (matlock_run_scan), renvoyant des coordonnées fichier:ligne:colonne dédupliquées et des correctifs diff de 5 lignes en moins de 300 jetons (jusqu’à 95 %+ de réduction).

Comment intercepter les clés d’API divulguées, les failles CWE et les échecs CI Linux avant un git push ?

Lancez une analyse WebAssembly gratuite dans le navigateur sur cette page (affichant gratuitement les emplacements fichier:ligne des secrets exposés) ou exécutez localement l’application de bureau Matlock. Matlock détecte les clés codées en dur (CWE-798), les points d’injection, les pièges shell CRLF, la dérive des lockfiles et les écarts de chemins Windows vers Linux avant git push.

Matlock peut-il être utilisé pour des projets sensibles HIPAA ou AICPA SOC 2 et dans des conteneurs AWS, Google Cloud ou Cloudflare ?

Oui — 0 octet de code source est envoyé à Matlock, et MATLOCK_OFFLINE=1 impose un mode strict isolé hors réseau sur votre poste ou dans votre conteneur AWS, Google Cloud, Cloudflare, Azure ou Docker. Matlock évalue les contrôles techniques de code associés à MITRE CWE, CISA SSDF, AICPA SOC 2 TSC et aux garanties techniques HIPAA Security Rule (45 CFR 164.312) (contrôles techniques uniquement, ni certification CPA ni avis juridique).

Quels langages de programmation, systèmes d’exploitation, IDE et modèles d’IA fonctionnent avec Matlock ?

Matlock vérifie 10 écosystèmes (Dart/Flutter, TypeScript/JS/Node, Python, Rust, Go, Java/Kotlin, C/C++, C#/.NET, SQL et Shell/YAML/Docker) ciblant tout système d’exploitation. Son serveur MCP à 27 outils connecte Claude, Gemini, Codex, Cursor, Copilot, Kimi, Qwen, DeepSeek, GLM, Windsurf, Cline, VS Code, JetBrains et Ollama sous Windows 10/11, Linux, GoogleBook et macOS Apple Silicon sans affichage.

Une Question, un Faux Positif ou une Note de Licence ?

Évitez les files d’attente d’e-mails et les filtres anti-spam. Envoyez une question, un rapport de bug ou une note de facturation directement dans notre file d’assistance privée sans créer de compte.

Ouvrir la Boîte de Support et de Questions

Connectez tout IDE, agent ou conteneur (20 fournisseurs)

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