# マトロック の実践ワークフロー（2 分でセットアップ完了） — Matlock

> マトロック — エージェント＆開発者ツール。効率的。正確。基準どおり。任意のプロジェクトフォルダを指定するだけで、50ms 未満の AST・MITRE CWE・IEEE Std 1003.1 POSIX・CISA SSDF・AICPA SOC 2 TSC 検証、セーフガード保護、Cold Box サンドボックス、GitHub Action PR 証明を実行します。

- [マニュアル](https://matlock.dutchp2p.com/ja/manual): マトロック (Matlock) のオペレーターおよび AI ナビゲーションマニュアル：50ms 未満のローカル AST & Pre-CI コマンドセンター、27 ツールの stdio MCP サーバー、セーフガードテスト保護、Cold Box サンドボックス、5 スコープ OS 無視管理、オフラインライセンス（クラウド送信 0、git commit ブロック 0）。
- [コマンドセンター](https://matlock.dutchp2p.com/ja/app): マトロック — エージェント＆開発者ツール。効率的。正確。基準どおり。ブラウザ内のローカル・コマンドセンター・プレビュー（50ms 未満の WebAssembly AST・MITRE CWE・POSIX・Pre-CI スキャン、実行スクリプト作成、ローカル SMTP アラート設定、stdio MCP 構成）。
- [Official GitHub](https://github.com/Dutchp2p/matlock-public) · GitHub Action `Dutchp2p/matlock-public@v1` · Badge `https://matlock.dutchp2p.com/badge/verified.svg`
- [サポートボックス](https://matlock.dutchp2p.com/ja/contact/): メールの順番待ちや迷惑メールフィルターを回避できます。アカウント登録なしで、質問・不具合報告・決済に関する連絡を当社の非公開サポートキューへ直接送信できます。

## 01 · 50ms 未満のローカルソース＆Pre-CI スキャンを実行

「参照」から任意のローカルフォルダを選ぶ（またはブラウザ WASM スキャナーへドロップする）だけでマトロックを実行できます。ローカルメモリ内で数ミリ秒でソースツリーを走査し、未テストのダークコード、肥大化モジュール、露出シークレット（秘密値は出さず相対 folder/file:line をレポートに無料表示）、標準準拠のコミット前チェックをマトロックへの送信 0 バイトで提示します。MITRE CWE、CISA SSDF、IEEE Std 1003.1 POSIX、自動 Pre-CI ゲート、AICPA SOC 2 Trust Services Criteria 技術統制に基づき評価します（技術統制のみであり CPA 認証ではありません）。

## 02 · 27 ツールのローカル＆クラウド Headless MCP（設定 -> AI エージェント (MCP)）

マトロックは既定でプロジェクトを読み取るだけです（設定で「復元」を有効にした場合も、1 行ごとのプレビュー承認後にのみ記録済みテストを戻します）。優先修正項目に従い、「エージェント用プロンプトをコピー」を押すか、「設定 -> AI エージェント (MCP)」を開いて MCP サーバー（stdio）と任意のメールブリッジを有効化し（Linux・macOS arm64・Windows・クラウドコンテナでは matlock-mcp --stdio --headless も利用可能）、Kimi Code CLI、Qwen Code、DeepSeek、Antigravity、VS Code、Visual Studio、Cursor、Windsurf、Cline、Claude Code、Gemini、Copilot、Android Studio、IntelliJ、Ollama、vLLM、SGLang、LM Studio と連携できます。アシスタントは 50ms 未満の matlock_run_scan、単一テスト実行 matlock_run_sequence(file: "")、async: true による非ブロッキング実行（完了時の自動ウェイクと matlock_get_action_status のコンパクト状態カプセル）、stop_sequence による停止を実行できます。操作案内は ? / F1、matlock_read_appliance_manual（0 クレジット）、または /ja/manual.md をご利用ください。

## 03 · アクションカード、保存ポイント、メール通知＆PR 検証バッジ

左レールのマトロックを押して Clean -> Get -> Format -> Lint -> Analyze/Build -> カバレッジ付き Test を一括実行するほか、常時表示のドック型ターミナルと CLI バー（「カードとして保存」「連結 / アラート」）や、USB・外付けドライブ保存ポイント（Windows は robocopy   /MIR /MT:16、Linux/GoogleBook は rsync -a --delete / /）、クラウドストレージ（rclone / AWS S3 / Cloudflare R2 / GCS / Azure Blob）、デスクトップの物理承認 Approve & Run 付き GitHub push（git push origin main）を 20 ステップのシーケンスに組めます。「設定 -> メール通知」では送信専用ネイティブ TLS 1.2/1.3 SMTP をグローバルプリセット（Gmail / Workspace、Microsoft 365 / Outlook、iCloud、Yahoo、Zoho、QQ / 163 認証コード、Fastmail、GMX / Web.de、ローカル Proton Mail Bridge 127.0.0.1:1025）と OS キーチェーン封印済みアプリパスワードで構成でき、エラー時のみ（stop_and_alert / continue_and_alert）または無条件完了時（always / send_alert）を選べます。Pull Request では Dutchp2p/matlock-public@v1 を実行し https://matlock.dutchp2p.com/badge/verified.svg を記載できます。

## 04 · ルールとパイプラインを AI の改ざんからセーフガード

カスタムテスト、アクション、シーケンス、通知はすべて既定で「セーフガード済み（読み取り・実行のみ）」となり、リポジトリ外の OS ユーザープロファイルにローカル封印（Windows DPAPI + Linux 0600 HMAC-SHA256）されます。AI はテストを実行できますが、セーフガード済みのチェックに対する不正な書き換えやルール緩和は即座に検知・保持され 1 クリックで復元できます。

検証済みベースラインのスキップ (<105ms) + セーフガード & クリーンルーム異常ラッチ。

## 05 · アカウント不要・メール保存ゼロでオフライン Pro 有効化

マトロック Pro (Matlock Pro)（年額 約4,000円* ($24.99 USD) 固定、自動更新なし）にユーザーアカウントやパスワードは不要です。MoonPay・Transak によるカード決済、ガイド付き PayPal PYUSD 送金（既存の PayPal 残高またはデビットカードを利用）、または 1 クリック Web3 米ドルステーブルコイン（Solana USDC・Base USDC・Polygon USDC）で決済を完了できます。ハイフンなしの連続した 24 文字の有効化キー（例：i34324h32HNbN4u9Kp7xYz8Q — ダブルクリックでコピー可能）が限定公開の /receipt/ 記録および matlock@dutchp2p.com からの任意のワンタイム控えメール（メールアドレス永続保存 0 秒）とともに画面へ即時表示されます。デスクトップアプリの「設定 -> ライセンス -> 有効化」にキーを一度貼り付けるだけで、暗号署名済みのオフラインライセンスが端末に紐付き、年 1 回のセルフサービス PC 移行も含まれます。

## 3 つの運用現場。1 つの決定論的エンジン。

- **クラウド VM と長時間稼働エージェント・サンドボックス**: クラウドサンドボックスは実行の隔離は守りますが、コードの正しさは保証しません。開発者の PC は守れても、PR への秘密鍵漏洩やテストの弱体化、12 時間稼働で自分のミスを読み直して $500 分のトークンを溶かす事態は防げません。マトロックはコンテナ内の決定論的ガバナーとしてヘッドレス・ゼロ知識で動作し、AWS、Google Cloud、Cloudflare、Azure、Docker、ローカル環境で 300 トークン未満の CWE/POSIX 座標を返してエージェントを健全かつ低コストに保ちます。
- **IDE MCP と自律型 M2M エージェント・パイプライン**: 実装用 LLM の上にレビュー用 LLM を重ねると 1 回 15,000–40,000 トークンを消費し、ファイル横断のリークや競合も見落とします。マトロック (Matlock) Pro（約4,000円* ($24.99 USD / 年)、MATLOCK_LICENSE_KEY による $0.00/回の無制限ヘッドレス実行および「ヘッドレスと同期」付き）は AST・MITRE CWE・IEEE POSIX.1・Flutter 3.50・TLS・Cold Box 競合検査を 50 ms 未満のネイティブ実行へオフロードし、正確な file:line:col 差分と 2 段階ループブレーカーを提供します。
- **個人開発者・バイブコーダー・エンジニアリングリード**: エージェントが午後のうちに数千行を書く時代、コマンドの手打ちや git push 時の鍵漏洩の不安、AICPA SOC 2 TSC や HIPAA 技術要件の手探りは不要です。デスクトップのセーフガードがテストの弱体化を防ぎ、「ヘッドレスと同期」がカードを双方向共有し、USB・クラウド・GitHub の 1 クリックルーチンがプライベート送信専用 SMTP メール通知と外部送信 0 バイトで完結します。

## AI ダークコードの正体・被害・マトロック によるプッシュ前阻止

- **1. 未テストのダークコードと無音のエラー抑制 —**: AI が単体テストなしで新しい本番サービスを生成し、無音のエラー抑制（CWE-391）や閉じられない非同期タイマー・ストリーム（CWE-401）を残す。 — サイレントなデータ欠損、UI フリーズ、バックグラウンドのメモリリークが発生し、本番ユーザーからの報告で初めて発覚する。 — マトロック (Matlock) ローカル監査が全本番ファイルとテストスイートを照合し、CISA/MITRE CWE 基準に基づき無音のエラー抑制と未解放の非同期ハンドルを特定。
- **2. 250 行超の God-Object と // ignore による検査回避 —**: 1 ファイルに 500 行以上の責務を詰め込み、未完成の TODO スタブを残し、// ignore: コメントで既存リンターを黙らせる。 — コード理解負債が急増し、次の AI 修正で別機能が連鎖破損。未完成スタブによりアプリストア審査も自動リジェクトされる。 — 1 ファイル 250 行上限（CWE-1080）を厳格適用し、インライン抑制コメントを完全無視したうえでモジュール分割プロンプトを 1 クリック提供。
- **3. OS 横断 CI の罠と秘密鍵のハードコード漏洩 —**: Windows では通る POSIX パス移植性違反、CRLF シェルスクリプト、Git 未追跡インポート、ロックファイル不整合、露出した API 資格情報（CWE-798）。 — プッシュ 10 分後に Linux GitHub Actions が失敗、または公開直後にボットが API キーを抜き取り高額請求や情報漏洩を招く。 — 独立 Pre-CI ゲートが git push 実行前にローカルで IEEE POSIX 移植性仕様、CISA SSDF 基準、自動 Pre-CI 整合性チェックを適用。

## Windows・Linux・GoogleBook 用 マトロック のダウンロード

- **Windows 10・Windows 11 (x64)**: 公式 Microsoft Store 限定配布（アプリID: 9P5VNWVWLM4N）。Microsoft署名済みで自動アップデートに対応し、SmartScreenの警告も出ません。
- **Linux デスクトップ & GoogleBook (.deb & AppImage)**: FUSE 不要の matlock-linux-x64.deb（Ubuntu 22.04+、Debian 12+、GoogleBook Linux 対応）およびポータブルな matlock-linux-x64.AppImage（Fedora、Arch、Ubuntu、Debian 対応）としてパッケージ化されたネイティブ GTK3 Flutter デスクトップバイナリ。 ([AppImage](https://matlock.dutchp2p.com/download/linux) · [.deb GoogleBook/Debian](https://matlock.dutchp2p.com/download/googlebook) · [SHA256SUMS](https://matlock.dutchp2p.com/download/SHA256SUMS)) — `chmod +x matlock-linux-x64.AppImage && ./matlock-linux-x64.AppImage` | `sudo apt install ./matlock-linux-x64.deb`
- **マトロック Pro ライセンスの認証とPC移行の手順**: マトロック (Matlock) デスクトップアプリ内の「アップグレード」をクリックするか /ja/pricing を開くと、固有の連続した 24 文字のライセンスキー（例：i34324h32HNbN4u9Kp7xYz8Q — ハイフンなしのためダブルクリックでキー全体を一括選択可能）が決済セッション用に生成されます。このキーをコピーして保管してください。 マトロック (Matlock) は暗号署名済みのオフラインライセンスをリポジトリ外の非公開ローカルユーザープロファイル保管領域に保存してコンピューター上でローカルに封印し、起動のたびに外部通信ゼロで 100% オフライン検証します。
- **コンテナ・MicroVM 向け 2 行クイック起動**: Cloudflare ContainerHarness / Codex cloudflare/debian-trixie、Docker、E2B、Firecracker 対応の環境非依存ヘッドレス起動 (SHA-256 検証済み):

```sh
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
```

## よくある質問

### AI が生成したコードが本番出荷できる状態か、どう確認すればよいですか？

毎回のコミットやリリース前にマトロックを実行してください。ローカルまたはコンテナ内で 50 ms 未満で AST を MITRE CWE、IEEE POSIX.1、CISA SSDF、250 行基準と照合し、マルチスレッドの Cold Box サンドボックスでコンパイラとテストを実行します。

### コーディングエージェントが合格のためにテストを弱めたりスキップしたりするのを防ぐには？

マトロックのセーフガードは、検証済み単体テストの改ざん検知ベースラインをリポジトリ外の OS ストレージに保管し、インライン無視コメントを無効化します。アサーションの削除・スキップ・緩和があれば即座に警告し、元のテストを復元できます。

### エージェントの上に別のエージェントを重ねずに、AI トークンと計算コストを削減するには？

2 つ目の LLM に複数ファイルの編集をレビューさせると 1 回 15,000–40,000 トークンを消費します。マトロックは MCP（matlock_run_scan）経由で AST・CWE・POSIX 検査をネイティブ実行し、重複排除した file:line:col 座標と 5 行の修復 diff を 300 トークン未満で返します（最大 95%+ 削減）。

### git push 前に漏洩した API キー、CWE 脆弱性、Linux CI 失敗を捕捉するには？

このページの無料ブラウザ内 WebAssembly スキャン（露出シークレットの file:line を無料表示）またはローカルのマトロック・デスクトップアプリを実行してください。ハードコードされた鍵（CWE-798）、インジェクション、CRLF 罠、ロックファイル不整合、Windows と Linux のパス破損を git push 前に捕捉します。

### HIPAA や AICPA SOC 2 に関わる機密案件や、AWS・Google Cloud・Cloudflare コンテナ内でも使えますか？

はい — ソースコードはマトロックへ 0 バイトしか送信されず、MATLOCK_OFFLINE=1 により端末や AWS、Google Cloud、Cloudflare、Azure、Docker コンテナ内で厳格なエアギャップ動作を強制できます。MITRE CWE、CISA SSDF、AICPA SOC 2 TSC、HIPAA セキュリティ規則（45 CFR 164.312）に対応する技術的コード統制を評価します（技術統制のみであり、CPA や法的認証ではありません）。

### 対応しているプログラミング言語、OS、IDE、AI モデルは何ですか？

あらゆるターゲット OS 向けに 10 言語エコシステム（Dart/Flutter、TypeScript/JS/Node、Python、Rust、Go、Java/Kotlin、C/C++、C#/.NET、SQL、Shell/YAML/Docker）を検証します。27 ツールの MCP サーバーは Windows 10/11、Linux、GoogleBook、ヘッドレス macOS Apple Silicon 上で Claude、Gemini、Codex、Cursor、Copilot、Kimi、Qwen、DeepSeek、GLM、Windsurf、Cline、VS Code、JetBrains、Ollama と連携します。