コマンドリファレンス

ProofScanの全27メインコマンドと100以上のサブコマンド・オプションの完全リファレンス

💡 ヒント

各コマンドの詳細ヘルプは pfscan help <command> で確認できます。

クイックリファレンス

カテゴリ コマンド数 主な用途
📊 観測 6 イベント表示、ツリー構造、ステータス確認
⚡ 実行 5 スキャン、ツール実行、プロキシ起動
1 インタラクティブシェル(REPL)
5 設定、コネクター、セッション管理
📦 カタログ 3 MCPサーバー検索・インストール
📊 POPL 1 監査証跡管理
1 自動テストプラン
2 エージェント管理
3 問題診断・ログ表示

よく使うパターン

基本的なワークフロー

# 1. 設定初期化
pfscan config init

# 2. MCPサーバー追加
pfscan catalog install @modelcontextprotocol/server-time --id time

# 3. スキャン実行
pfscan scan start --id time

# 4. 結果確認
pfscan view          # イベントタイムライン
pfscan tree          # 階層構造
pfscan status        # システム状態

リアルタイム監視

# イベントをリアルタイム表示
pfscan view -f

# 特定コネクターのみ監視
pfscan view -f --connector time

# エラーのみ監視
pfscan view -f --errors

プロキシモード

# 全コネクターでプロキシ起動
pfscan proxy start --all

# 特定コネクターのみ
pfscan proxy start --connectors time,weather

# Claude Desktopから利用
# claude_desktop_config.json に追加:
{
  "mcpServers": {
    "proofscan-proxy": {
      "command": "pfscan",
      "args": ["proxy", "start", "--all"]
    }
  }
}

グローバルオプション

全コマンドで使用可能なオプション:

オプション 説明
-c, --config <path> 設定ファイルパスを指定
--json JSON形式で出力
-v, --verbose 詳細出力を有効化
-h, --help ヘルプを表示
-V, --version バージョンを表示
--no-color 色を無効化
--lang <code> 言語を指定 (en/ja)

コマンドエイリアス

ProofScanには複数のコマンドエイリアスがあります:

フルネーム エイリアス 説明
proofscan pfscan, pfs メインコマンド
pfscan shell psh シェル起動
pfscan view pfscan v イベント表示
pfscan tree pfscan t ツリー表示
pfscan scan pfscan s スキャン実行
pfscan status pfscan st ステータス表示
pfscan config pfscan c 設定管理
pfscan archive pfscan a アーカイブ管理
pfscan catalog pfscan cat カタログ操作

次のステップ

📊

Observation

view, tree, rpc, status, summary, analyze

Execution

scan, tool, proxy, serve, monitor

🐚

shell (psh) - インタラクティブREPL

🔧

config, connectors, sessions, secrets, archive