mcpField
V
verirun

verirun

ローカル
github.com/baopeak開発ツール
リポジトリ

verirun について

Windows 上の AI コーディングエージェント向けの実行ベースの検証。エージェントの主張ではなく証拠を提示します

設定

ローカルサーバーの設定はどのクライアントでも共通です。コピーしてクライアントの MCP 設定ファイルに貼り付けてください。

mcp.json · 共通設定
{
  "mcpServers": {
    "baopeak-verirun": {
      "command": "npx",
      "args": [
        "-y",
        "verirun"
      ],
      "env": {
        "VERIRUN_ALLOW_INPUT_INJECTION": "<VERIRUN_ALLOW_INPUT_INJECTION>",
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<VERIRUN_ALLOW_ENDPOINT_REPIN>",
        "VERIRUN_DATA_DIR": "<VERIRUN_DATA_DIR>"
      }
    }
  }
}
起動コマンドnpx -y verirun
設定が必要な環境変数
VERIRUN_ALLOW_INPUT_INJECTIONSet to 1 to allow Tier C (OS-wide send-input/click). User-side only; off by default.
VERIRUN_ALLOW_ENDPOINT_REPINSet to 1 to let a declared endpoint keep working after its DNS answer moves to a different address (each move is recorded). Off by default: a moved endpoint is refused.
VERIRUN_DATA_DIROverride the evidence-record directory (default %LOCALAPPDATA%\Verirun\runs).

ローカルサーバーにはマシン上の実行環境（Node.js 18 以上など）が必要です。設定ファイルの場所はクライアントごとに異なります。

パッケージ
npmverirun0.2.1-dev

ツール

ツール一覧はまだ取得されていません

ローカルサーバーのツールはマシン上で起動して初めて取得できます。メンテナーはまだツール一覧を提供していません。

詳細

メンテナーはまだ詳細を追加していません。リポジトリの README をご覧ください。

コメント

Markdown 対応

MCP は初めてですか？

プロトコルの概要から最初のサーバーの導入まで、よくある疑問にまとめて答えます。

AI アプリケーションが外部のツールやデータソースに統一的な方法で接続するためのオープンなプロトコルです。クライアントはモデルとの対話を担い、MCP サーバーはツール・リソース・プロンプトテンプレートを提供します。標準メッセージでやり取りするため、1 つのサーバーを複数のクライアントで再利用できます。