English Français العربية

io.github.baopeak/verirun

السجل الرسمي أدوات المطورين

Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.

الشيفرة المصدرية

التثبيت

أضف هذا إلى إعدادات MCP في عميلك (Claude Desktop: claude_desktop_config.json، وCursor: ‏.cursor/mcp.json، ويستخدم VS Code وغيره الصيغة نفسها «mcpServers»).

NPM package verirun
Claude Code 
claude mcp add verirun -e 'VERIRUN_ALLOW_INPUT_INJECTION=<VERIRUN_ALLOW_INPUT_INJECTION>' -e 'VERIRUN_ALLOW_ENDPOINT_REPIN=<VERIRUN_ALLOW_ENDPOINT_REPIN>' -e 'VERIRUN_DATA_DIR=<VERIRUN_DATA_DIR>' -- npx -y verirun@0.2.1-dev
إعداد JSON (Claude Desktop وCursor وVS Code) 
{
    "mcpServers": {
        "verirun": {
            "command": "npx",
            "args": [
                "-y",
                "verirun@0.2.1-dev"
            ],
            "env": {
                "VERIRUN_ALLOW_INPUT_INJECTION": "<VERIRUN_ALLOW_INPUT_INJECTION>",
                "VERIRUN_ALLOW_ENDPOINT_REPIN": "<VERIRUN_ALLOW_ENDPOINT_REPIN>",
                "VERIRUN_DATA_DIR": "<VERIRUN_DATA_DIR>"
            }
        }
    }
}

متغيرات البيئة

  • VERIRUN_ALLOW_INPUT_INJECTION Set to 1 to allow Tier C (OS-wide send-input/click). User-side only; off by default.
  • VERIRUN_ALLOW_ENDPOINT_REPIN Set 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_DIR Override the evidence-record directory (default %LOCALAPPDATA%\Verirun\runs).

الأسئلة الشائعة

ما هو io.github.baopeak/verirun؟

Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.

كيف أثبّت io.github.baopeak/verirun؟

يعمل على جهازك. في Claude Code: claude mcp add verirun -e 'VERIRUN_ALLOW_INPUT_INJECTION=<VERIRUN_ALLOW_INPUT_INJECTION>' -e 'VERIRUN_ALLOW_ENDPOINT_REPIN=<VERIRUN_ALLOW_ENDPOINT_REPIN>' -e 'VERIRUN_DATA_DIR=<VERIRUN_DATA_DIR>' -- npx -y verirun@0.2.1-dev. وفي العملاء الآخرين، الصق إعداد JSON من هذه الصفحة في إعدادات MCP الخاصة بهم.

هل يحتاج io.github.baopeak/verirun إلى مفتاح API؟

لا يذكر إدراجه في السجل أي مفتاح أو سر إلزامي. قد تتطلب بعض الميزات حسابًا لدى الخدمة التي يتصل بها.

هل io.github.baopeak/verirun مفتوح المصدر؟

شيفرته علنية على GitHub، لكن المستودع لا يعلن ترخيصًا قياسيًا.

من يصون io.github.baopeak/verirun؟

ينشره baopeak. يدرجه AI.tn لكنه لا يصونه ولا يوصي به.

من سجل MCP الرسمي. الإدراج ليس توصية: راجع شيفرة الخادم وصلاحياته قبل منحه الوصول إلى بياناتك.