Déportez les contrôles polyglottes AST, MITRE CWE et IEEE Std 1003.1 POSIX vers un binaire MCP stdio local en < 50 ms (démarrage < 10 ms, trames < 500 jetons, jusqu’à 10,000+ jetons LLM de contexte et de relance économisés face à la passe à $0.01 USD, protection cryptographique Safeguard des tests, bacs à sable Pre-CI Cold Box, règlement x402 idempotent à 99.9%+ sur 4 stablecoins, ou /relay?lid=MLK-XXXXXXXX pour Unlimited Pro à env. 23 €* ($24.99 USD / an)).
Concevez votre code, puis appelez directement matlock_run_scan(target_path) (et changed_only: true après modification) — en déportant les contrôles polyglottes AST, CWE, POSIX et Pre-CI vers un binaire natif local en moins de 50 ms (0 envoi cloud, 0 blocage de git commit), économisant jusqu’à 10,000+ jetons de contexte et de relance LLM sur les dépôts multi-fichiers*1 et renvoyant les coordonnées exactes file:line:col ainsi que des prescriptions diff unifiées de 5 lignes (--headless requiert 0 licence GUI).
*1 Limites Strictes et Modèle de Rendement Net (roi_and_limits) : 0 passe débloquée gratuite, recharge unitaire maximale de $4.99 USD, 0 prélèvement automatique, Coupe-Circuit à 2 Niveaux (Niveau 1 à 3 essais STOP_IMMEDIATELY / SKIP_AND_MOVE_ON + Niveau 2 HALT_FOR_REPLACEMENT / HALT_IMMEDIATELY écrivant session_handoff.json < 200 jetons) et seuil de rentabilité Workstation Pro à 2,500 passes/an (~7/jour). Les agents calculent le rendement net directement selon les coûts API/CI et consignes budgétaires de l’utilisateur sans deviner :
net_return_usd = (avoided_tokens / 1000000 * user_token_rate_per_1m_usd) + (avoided_ci_reruns * ci_minute_cost_usd) - 0.01
limits: free_passes=0 (402 proves score, CWEs & AST token math first) | max_topoff=$4.99 (1000 passes) | auto_charge=0 | loop_cap=3 (HALT_IMMEDIATELY) | pro_breakeven=2500_passes_per_yrConnectez un unique binaire natif local en stdio à tout IDE mondial, modèle à poids ouverts ou agent terminal, avec zéro envoi cloud et zéro verrouillage fournisseur.
Enregistrement natif du serveur MCP via la configuration locale du projet ou les réglages MCP de l’IDE.
VS Code / Copilot · Cursor · JetBrains (IntelliJ / Android Studio / PyCharm / Junie) · Trae IDE · Tongyi Lingma / Qoder · Zed · Windsurf
Vérificateur AST local déterministe pour modèles frontières, régionaux et auto-hébergés.
Cline · Roo Code · Continue.dev · OpenCode · Aider / OpenHands / Goose — Google Antigravity Orchestrator (Gemini 4 Carbon / Argon + Gemini 4 Hydrogen), Gemini Decision 1, LangChain, Pydantic AI, LiteLLM, OpenRouter, LiveKit, Pipecat, DeepSeek-V3/R1, Qwen2.5-Coder/Qwen3, Mistral Codestral, Kimi, GLM-4, Solar, EXAONE, PLaMo, Jais, Grok, Ollama / vLLM / SGLang
Connexion stdio sans affichage via SSH, WSL, Docker, runners CI et boucles terminales.
Claude Code (claude mcp add) · Gemini CLI / Antigravity · OpenAI Codex (config.toml) · Qwen Code · Amazon Q · GitHub Agentic Workflows · Cloudflare ContainerHarness · Cloudflare Browser Run (Kitesurf) · WebMCP · Google Cloud Run · Docker / Podman / nerdctl / Finch · npx -y @dutchp2p/matlock-mcp · uvx matlock-mcp
Budget de jetons compact au Tour 1 avec annotations lecture seule sans fatigue d’autorisations.
matlock_run_scan (Index 0, readOnlyHint: true) · < 50ms local AST · Linux x64 / GoogleBook / macOS arm64 / Windows x64
# Claude Code / Qwen Code / CLI registration
claude mcp add matlock -- matlock-mcp --stdio --headless --no-coverage
# Zero-install npx / uvx launchers (auto-verifies SHA-256 native binary)
npx -y @dutchp2p/matlock-mcp --stdio --headless --no-coverage
uvx matlock-mcp --stdio --headless --no-coverage
# OpenAI Codex (~/.codex/config.toml)
[mcp_servers.matlock]
command = "matlock-mcp"
args = ["--stdio", "--headless", "--no-coverage"]Poste de travail de bureau natif pour Windows, Linux et GoogleBook à env. 23 €* ($24.99 USD / an) (Payer par carte via MoonPay et Transak, transfert guidé PayPal PYUSD ou USDC Solana/Base/Polygon en 1 clic). Inclut des analyses GUI locales illimitées, des rapports imprimables d’ordre de service, des alertes SMTP et des passes MCP stdio locales illimitées dans l’IDE sans surcoût.
Uniquement pour matlock-mcp Headless et VMs Éphémères / Conteneurs Long-Horizon — NE Débloque PAS la GUI Bureau : $0.01 USD/exécution (Réservoir x402 de $0.01–$4.99 sur Solana USDC, Solana PYUSD, Base USDC et Polygon USDC) alimente matlock-mcp sans écran sous Linux x64, Windows x64, macOS arm64, Cloudflare ContainerHarness / Codex cloudflare/debian-trixie, Docker, E2B et Firecracker (hook setup conteneur en 2 lignes : agent-install.sh + matlock-mcp toolbag --json). Recommandation Illimitée : Débloquez Workstation Pro à env. 23 €* ($24.99 USD / an) (MATLOCK_LICENSE_KEY) pour des exécutions illimitées à $0.00/exécution en headless + GUI Bureau toute l’année (rentabilisé dès 2,500 exécutions soit ~7/jour), avec Tool Bag progressif de ~350–550 jetons (mode: "tool_bag"), saut de reçu Cold Box vérifié en < 105 ms et Coupe-Circuit à 2 Niveaux (session_handoff.json < 200 jetons).
Invoquez Matlock en continu tout au long du codage actif et de l’orchestration multi-agents — pas uniquement juste avant git commit.
Déportez les contrôles polyglottes AST, CWE, POSIX et de modularité (<= 250 LOC par défaut) vers le binaire compilé local au lieu de brûler des jetons de contexte LLM.
matlock_describe_project · matlock_run_scan(changed_only: true) (< 50ms + diff prescription)
Le verrou de fichier système non réentrant sérialise les sous-agents concurrents sur les arbres de travail partagés et intercepte les erreurs avalées et les ébauches creuses.
wait_if_busy: true · CWE-391 / CWE-362 / CWE-400
La référence cryptographique d’intégrité des tests détecte les assertions supprimées, ignorées ou affaiblies avant toute fusion de branche.
matlock_qualify_test(dry_run: true) · CWE-571
Évaluation technique locale déterministe alignée sur les contrôles techniques MITRE CWE, CISA SSDF, IEEE POSIX et AICPA SOC 2 Trust Services Criteria.
MITRE CWE · CISA SSDF · IEEE POSIX · AICPA SOC 2 TSC
Le Niveau 1 stoppe ou ignore après 3 essais bloqués (STOP_IMMEDIATELY / SKIP_AND_MOVE_ON) ; le Niveau 2 renvoie HALT_FOR_REPLACEMENT, écrit session_handoff.json en < 200 jetons et nettoie les arbres de sous-processus.
governorAction: AUTO_RETRY | HALT_IMMEDIATELY | WAIT_BACKOFF
Le harnais de scripts scellés par l’OS permet aux orchestrateurs principaux de verrouiller les commandes de build et de test de l’espace de travail afin que les sous-agents puissent les exécuter sans jamais les affaiblir.
matlock_register_sealed_script (0600 POSIX / Win32 DPAPI OS-sealed)
Les Scores de santé vérifiés exigent les tests complets du dépôt avec couverture dynamique des lignes, tandis que la réparation active par l’agent s’exécute en moins de 150 ms par micro-passes ciblées.
| Vitesse | Durée Réelle | Appel MCP | État de Provenance et Couverture |
|---|---|---|---|
| Profil de l’Espace · Optionnel (0 Crédit) | < 30ms | matlock_describe_project · matlock_read_appliance_manual(section_id, locale) (optional, 0 credits) | 0 Crédit · inspection optionnelle ou mode: "tool_bag" (matlock-mcp toolbag) pour un inventaire de ~350–550 jetons des cartes [LOCKED] / [MODIFIABLE], séquences, consignes permanentes, alertes, intégrité des tests et gasTank (non requis avant matlock_run_scan). Pour l’aide UI appuyez sur ? ou F1, appelez matlock_read_appliance_manual (0 crédit) ou partagez /fr/manual.md. |
| Vitesse 1 · Micro-Passe | < 50ms – 150ms | matlock_run_scan(target_path, changed_only: true | transaction_signature | license_key) | STATIC_ONLY_UNVERIFIED · 0 sous-processus · analyse des modifications Git en < 50 ms (changed_only: true) ou catégorie réparée · trame de moins de 500 jetons + prescription diff unifiée de 5 lignes. |
| Vitesse 2 · Analyse Binaire Complète | 0.8s – 2.5s | matlock_run_scan(target_path) | STATIC_ONLY_UNVERIFIED · Exécute tous les contrôles polyglottes compilés une fois · renvoie categoryGroups + staticEstimateScore provisoire. |
| Vitesse 3 · Essaim Rapide à Chaud | 2s – 40s | matlock_qualify_test(file, dry_run: true | false) / matlock_run_sequence(id: "seq_fast_verify") | WARM_TESTS_NO_COVERAGE · Qualification des tests à 3 portes (dry_run: true vérifie avec 0 écriture dans le coffre avant scellement) ou TDD sur cache chaud omettant clean, get redondant et lcov lent. |
| Vitesse 4 · Boîte Froide et Porte Complète | 2m – 15m | matlock_run_sequence(id: "seq_matlock", cold_box: true, include_coverage: true) | COMPREHENSIVE_CLEAN_AND_COVERED · Prépare un bac à sable stérile Cold Box CI + audit CWE-775 des descripteurs et orphelins (saute en < 105 ms par reçu cryptographique si l’arbre correspond à une base vérifiée) ; include_coverage: true exécute clean + tests complets + couverture dynamique. |
Uniquement pour matlock-mcp Headless et VMs Éphémères / Conteneurs Long-Horizon (Ne Débloque Pas la GUI Bureau) — Alternative Illimitée Recommandée : Workstation Pro à env. 23 €* ($24.99 USD / an) (MATLOCK_LICENSE_KEY, $0.00/exécution illimitée headless + GUI Bureau, rentabilisé à 2,500 exécutions). Les analyses non provisionnées renvoient en < 50 ms une preuve 402 sans coordonnées + économie AST à $0.00 USD, puis 1 Passe Débloquée = 1 Crédit ($0.01 USD standard, ou $0.00499 USD sur le bloc Swarm de 1,000 crédits sur Solana USDC, Solana PYUSD, Base USDC et Polygon USDC). Découverte, tool_bag, manuel, statut, cache et matlock_report_issue (feature_request / CONTINUE_IMMEDIATELY) consomment 0 crédit.
| Code de Palier | Passes d’Exécution | Prix (USDC / PYUSD) | Micro-Unités (10^-6) | Tarif Effectif / Passe |
|---|---|---|---|---|
trial_1 | 1 | $0.01 USD | 10000 | $0.01000 USD |
micro_10 | 10 | $0.10 USD | 100000 | $0.01000 USD |
sprint_50 | 50 | $0.50 USD | 500000 | $0.01000 USD |
standard_100 | 100 | $1.00 USD | 1000000 | $0.01000 USD |
swarm_1000 | 1,000 | $4.99 USD | 4990000 | $0.00499 USD |
PAYMENT-REQUIRED: <base64 x402 V2 JSON · solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp | eip155:8453 | eip155:137>
X-Payment-Network: solana-mainnet | base-mainnet (8453) | polygon-mainnet (137)
X-Payment-Mint: EPjFWdd5AufqSSqeM2qN1xzybapC8G4wEGGkZwyTDt1v
X-Payment-Recipient: FD8yYPXMYrUpVhzYNT3w9EqD8XvpcUhzeqTs72SerXxb
X-Payment-Recipient-ATA: E5qmxhdZTmSvKEmGRYtquF1Nh4rYSx3ko8m25WG5Cqfs
Canonical-USDC-ATA: E5qmxhdZTmSvKEmGRYtquF1Nh4rYSx3ko8m25WG5Cqfs
Canonical-PYUSD-ATA: G6zg9GqwVUX3dfA95WQkYawKw3qFYmtSt1j5Bu8wb46W (Mint: 2b1kV6DkPAnxd5ixfnxCpjxmKwqjjaYmCZfHsFu24GXo · Token-2022)
Canonical-EVM-Treasury: 0xdcccb2740e9199e79e3fe4f814486bd586074ad2 (Base 8453 & Polygon 137 Circle USDC)
One-Call-Settle-Unmask: matlock_run_scan(target_path, transaction_signature) | matlock_purchase_license(license_key)
Payment-Bridge: https://matlock.dutchp2p.com/relay?lid=<MLK-XXXXXXXX> (302 -> /<lang>/pricing?lid=<LID>)
Link: <https://matlock.dutchp2p.com/agents.md>; rel="payment-docs", <https://matlock.dutchp2p.com/auth.md>; rel="auth-docs"Vérifiez l’empreinte de l’installateur avec sha256sum, shasum -a 256 ou Get-FileHash avant exécution (ne redirigez jamais de scripts distants non vérifiés directement vers un shell), lancez le hook setup conteneur en 2 lignes (agent-install.sh + matlock-mcp toolbag --json) dans Cloudflare ContainerHarness / Codex cloudflare/debian-trixie, Docker, E2B ou Firecracker, puis enregistrez matlock-mcp dans tout client MCP — Kimi Code CLI, Qwen Code, DeepSeek, GLM, ERNIE, Claude Code, Cursor, Google Antigravity, Gemini CLI, Google A2A, Cline, Hugging Face smolagents, Ollama / vLLM / SGLang, MCP Registry ou GitHub Actions.
# 2-Line Container / MicroVM Quick-Launch (Cloudflare ContainerHarness / Codex cloudflare/debian-trixie, Docker, E2B, Firecracker)
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
# Linux / GoogleBook / macOS arm64 / Docker (step-by-step checksum verified)
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
# Windows PowerShell (checksum verified)
Invoke-WebRequest -Uri https://matlock.dutchp2p.com/agent-install.ps1 -OutFile agent-install.ps1
Invoke-WebRequest -Uri https://matlock.dutchp2p.com/agent-install.ps1.sha256 -OutFile agent-install.ps1.sha256
if ((Get-FileHash .\agent-install.ps1 -Algorithm SHA256).Hash.ToLower() -ne (Get-Content .\agent-install.ps1.sha256).Split(' ')[0].Trim().ToLower()) { throw 'Checksum mismatch' }
powershell -ExecutionPolicy Bypass -File .\agent-install.ps1{
"mcpServers": {
"matlock": {
"command": "matlock-mcp",
"args": ["--stdio", "--headless", "--no-coverage"]
}
}
}A2A https://matlock.dutchp2p.com/.well-known/agent-card.json · MCP Registry: com.dutchp2p.matlock/matlock-mcp (/server.json)
SKL https://matlock.dutchp2p.com/.well-known/agent-skills/index.json · API Catalog: /.well-known/api-catalog · Auth: /auth.md
AGY Google Antigravity plugin.json + skills/matlock-verify/SKILL.md · Gemini CLI: gemini extensions install https://github.com/Dutchp2p/matlock-public
HF smolagents: MCPClient({"command": "matlock-mcp", "args": ["--stdio", "--headless", "--no-coverage"]}) · GitHub Action: Dutchp2p/matlock-public@v1
GET https://matlock.dutchp2p.com/relay?lid=<LID> (localized human payment bridge -> /<lang>/pricing?lid=<LID>)
POST https://matlock.dutchp2p.com/pay/agent/quote (Solana Base58 & EVM 0x... ERC-20 calldata; runs=1 default $0.01)
POST https://matlock.dutchp2p.com/pay/evm/verify (0x... Base 8453 & Polygon 137 Circle USDC verification)
POST https://matlock.dutchp2p.com/pay/agent/topoff (< 800ms Solana confirmed finality + HTTP 425 backoff; auto-infers tier)
MCP matlock_read_appliance_manual(section_id, locale) (0 credits, 9 locales · /<lang>/manual.md · ? / F1 in app) · matlock_list_alerts / matlock_trigger_alert (***REDACTED*** OS-sealed credentials) · matlock_report_issue (feature_request -> CONTINUE_IMMEDIATELY)
CLI matlock-mcp activate <KEY> (Workstation Pro $0.00/pass) · matlock-mcp check --json (0 / 65 EX_DATAERR) · seal verify --json · exit 77 EX_NOPERMMatlock évalue les contrôles techniques de base de code et de pipeline selon les spécifications et référentiels publiés de l’industrie (MITRE CWE, CISA SSDF, IEEE Std 1003.1 POSIX, portes automatisées d’intégrité Pre-CI et contrôles techniques AICPA SOC 2 Trust Services Criteria). Matlock ne garantit pas un logiciel exempt de défauts, ne délivre pas de rapports formels d’attestation par un tiers et ne fournit aucune certification émanant d’un cabinet indépendant d’experts-comptables agréés (CPA).