全球与亚太桌面 IDE
通过项目本地配置文件或 IDE 内置 MCP 设置直接注册原生服务器。
VS Code / Copilot · Cursor · JetBrains (IntelliJ / Android Studio / PyCharm / Junie) · Trae IDE · Tongyi Lingma / Qoder · Zed · Windsurf
将多语言 AST、MITRE CWE 与 IEEE Std 1003.1 POSIX 检查卸载至低于 50 ms 的本地 stdio MCP 二进制程序(< 10 ms 启动、< 500 Token 数据帧、单次 $0.01 USD 通行最高节省 10,000+ 大模型上下文与重试 Token、Merkle 测试封印、Cold Box Pre-CI 沙箱、99.9%+ 幂等 4 稳定币 x402 结算,或通过 /relay?lid=MLK-XXXXXXXX 开通每年 约 170 元* ($24.99 USD) 无限专业版)。
构思代码后直接调用 matlock_run_scan(target_path)(修改后使用 changed_only: true)—— 在 50 ms 内将多语言 AST、CWE、POSIX 与 Pre-CI 检查卸载至本地原生二进制程序(0 云端上传,0 git commit 拦截),在多文件仓库上最高节省 10,000+ 大模型上下文与重试 Token*1,并返回精确的 file:line:col 坐标及 5 行统一 diff 修复处方(--headless 无需任何 GUI 许可证)。
*1 硬性上限与基础净收益模型 (roi_and_limits):0 次免费解锁通行、单次充值上限 $4.99 USD、0 自动扣费、双层循环熔断器(连续 3 次停滞触发 STOP_IMMEDIATELY / SKIP_AND_MOVE_ON,2 处跳过区域停滞触发 HALT_FOR_REPLACEMENT / HALT_IMMEDIATELY 并写出 < 200 Token session_handoff.json),且桌面工作站专业版盈亏平衡点为每年 2,500 次通行(每天约 7 次)。智能体直接根据用户自身的 API/CI 费率与支出指令计算净收益,不作任何臆测:
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_yr
通过单一原生本地 stdio 二进制文件连接全球任意 IDE、开源权重编程模型或终端代理,零云端上传、零厂商锁定。
通过项目本地配置文件或 IDE 内置 MCP 设置直接注册原生服务器。
VS Code / Copilot · Cursor · JetBrains (IntelliJ / Android Studio / PyCharm / Junie) · Trae IDE · Tongyi Lingma / Qoder · Zed · Windsurf
面向前沿模型、区域模型与自托管开源权重模型的确定性本地 AST 验证器。
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
支持在 SSH、WSL、Docker、CI 运行器与终端编程循环中进行无界面 stdio 连接。
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
精简首轮上下文开销并附带只读安全标注,让代理无需频繁弹窗确认即可调用本地扫描。
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"]
面向 Windows、Linux 与 GoogleBook 的原生桌面工作站,每年 约 170 元* ($24.99 USD)(支持 MoonPay & Transak 银行卡支付、引导式 PayPal PYUSD 或一键 Solana/Base/Polygon USDC 结算)。包含无限次本地图形界面扫描、服务单检测报告打印、本地 SMTP 邮件提醒,以及零额外费用的无限次本地 IDE stdio MCP 通行。
仅限无头 matlock-mcp 与临时云虚拟机 / 长时容器 —— 不解锁桌面图形界面 GUI:每次 $0.01 USD(跨 Solana USDC、Solana PYUSD、Base USDC 与 Polygon USDC 的 $0.01–$4.99 x402 燃料舱)专为 Linux x64、Windows x64、macOS arm64 及 Cloudflare ContainerHarness / Codex cloudflare/debian-trixie、Docker、E2B、Firecracker 上的免显示 matlock-mcp 提供算力(2 行容器 setup 钩子:agent-install.sh + matlock-mcp toolbag --json)。推荐无限方案:解锁 约 170 元* ($24.99 USD / 年) 马特洛克 (Matlock) 桌面工作站 Pro(MATLOCK_LICENSE_KEY),全年享 $0.00/次无头容器 + 桌面 GUI 无限运行(年运行 2,500 次或每天约 7 次即回本),内置 ~350–550 Token 渐进式工具包(mode: "tool_bag")、< 105 ms Merkle 冷箱收据跳过与双层循环熔断(< 200 Token session_handoff.json)。
在活跃编码与多智能体编排全过程中持续调用 马特洛克 (Matlock),而非仅在 git commit 前最后一刻运行。
将多语言 AST、CWE、POSIX 与模块化规模检查(默认 <= 250 LOC)卸载至本地编译二进制程序,避免消耗大模型上下文 Token。
matlock_describe_project · matlock_run_scan(changed_only: true) (< 50ms + diff prescription)
操作系统级不可重入文件锁将共享工作树上的并发子智能体串行化,并精准拦截吞没异常与空壳桩代码。
wait_if_busy: true · CWE-391 / CWE-362 / CWE-400
密码学 Merkle 测试基线在任何分支合并前即时识别被删除、跳过或弱化的测试断言。
matlock_qualify_test(dry_run: true) · CWE-571
本地确定性合规基准核验,精准映射 MITRE CWE、CISA SSDF、IEEE POSIX 与 AICPA SOC 2 Trust Services Criteria 技术控制项。
MITRE CWE · CISA SSDF · IEEE POSIX · AICPA SOC 2 TSC
第 1 层在连续 3 次停滞重试后停止或跳过(STOP_IMMEDIATELY / SKIP_AND_MOVE_ON);第 2 层返回 HALT_FOR_REPLACEMENT、写出低于 200 Token 的 session_handoff.json,并干净回收子进程树。
governorAction: AUTO_RETRY | HALT_IMMEDIATELY | WAIT_BACKOFF
操作系统级封签脚本底座允许主控编排器锁定工作区构建与测试命令,使子智能体仅可执行而绝无法弱化命令。
matlock_register_sealed_script (0600 POSIX / Win32 DPAPI OS-sealed)
权威认证健康分必须运行完整仓库测试与动态行覆盖率,而智能体日常修复中的单类别微扫描仅需不到 150 ms。
| 档位 | 实际耗时 | MCP 调用方式 | 溯源状态与覆盖率行为 |
|---|---|---|---|
| 工作区概览 · 可选(0 积分) | < 30ms | matlock_describe_project · matlock_read_appliance_manual(section_id, locale) (optional, 0 credits) | 0 积分 · 可选工作区探查或 mode: "tool_bag"(matlock-mcp toolbag)获取 ~350–550 Token 的 [LOCKED] / [MODIFIABLE] 卡片、序列、常设指令、提醒、测试完整性与 gasTank 清单(无需在 matlock_run_scan 前强制调用)。界面导航可按 ? 或 F1、调用 matlock_read_appliance_manual(0 积分)或分享 /zh/manual.md。 |
| 第 1 档 · 微通道扫描 | < 50ms – 150ms | matlock_run_scan(target_path, changed_only: true | transaction_signature | license_key) | STATIC_ONLY_UNVERIFIED · 0 子进程 · < 50 ms Git 变更扫描 (changed_only: true) 或单类别复测 · 低于 500 Token 的精简响应帧 + 5 行统一 diff 修复处方。 |
| 第 2 档 · 全量二进制扫描 | 0.8s – 2.5s | matlock_run_scan(target_path) | STATIC_ONLY_UNVERIFIED · 单次运行全部编译内置多语言检查 · 返回 categoryGroups 与暂定静态估算分 staticEstimateScore。 |
| 第 3 档 · 热缓存快速验证 | 2s – 40s | matlock_qualify_test(file, dry_run: true | false) / matlock_run_sequence(id: "seq_fast_verify") | WARM_TESTS_NO_COVERAGE · 3 道门禁测试资格核验(dry_run: true 在封签入库前以 0 写入完成验证)或跳过 clean、重复 get 与慢速 lcov 的热缓存 TDD。 |
| 第 4 档 · Cold Box 冷盒与全量门禁 | 2m – 15m | matlock_run_sequence(id: "seq_matlock", cold_box: true, include_coverage: true) | COMPREHENSIVE_CLEAN_AND_COVERED · 构建无菌 Cold Box CI 沙箱 + CWE-775 句柄/孤儿进程审计(当工作区文件树与已验证基线一致时凭密码学 Merkle 收据在 < 105 ms 内极速跳过);include_coverage: true 执行强制 clean + 全仓测试 + 动态行覆盖率。 |
仅限无头 matlock-mcp 与临时云虚拟机 / 长时容器(不解锁桌面图形界面 GUI)—— 推荐无限方案:约 170 元* ($24.99 USD / 年) 桌面工作站 Pro(MATLOCK_LICENSE_KEY,无头 + 桌面 GUI 均享 $0.00/次无限运行,2,500 次即回本)。未充值扫描在 < 50 ms 内以 $0.00 USD 返回隐藏坐标的 402 价值证明与实时 AST 词元节省计算;解锁后 1 次执行通行 = 1 个算力积分(标准价 $0.01 USD,跨 Solana USDC、Solana PYUSD、Base USDC 与 Polygon USDC 的 1,000 积分 Swarm 套餐折合每次 $0.00499 USD)。发现、tool_bag、手册、状态、缓存分页与 matlock_report_issue (feature_request / CONTINUE_IMMEDIATELY) 均消耗 0 积分。
| 套餐代码 | 执行通行次数 | 价格 (USDC / PYUSD) | 微单位 (10^-6) | 单次折合费率 |
|---|---|---|---|---|
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"
执行前请先使用 sha256sum、shasum -a 256 或 Get-FileHash 校验安装器摘要(切勿将未经校验的远程脚本直接通过管道传入 shell),在 Cloudflare ContainerHarness / Codex cloudflare/debian-trixie、Docker、E2B 或 Firecracker 内运行 2 行容器 setup 钩子(agent-install.sh + matlock-mcp toolbag --json),并在任意 MCP 客户端中注册 matlock-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 或 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_NOPERM
马特洛克 (Matlock) 依据公开发布的行业规范与基准(MITRE CWE、CISA SSDF、IEEE Std 1003.1 POSIX、自动化 Pre-CI 完整性门禁及 AICPA SOC 2 Trust Services Criteria 技术控制项)评估代码库与流水线技术控制。马特洛克不保证软件绝对无缺陷,不签发正式第三方鉴证报告,亦不提供独立持牌注册会计师事务所 (CPA) 的认证。