cosmic-mcp

All servers

verirun

io.github.baopeak/verirun ยท version 0.2.1-dev

Community listing. Not installed or verified by cosmic-mcp. Read the source and its permissions before you run it.

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

https://github.com/baopeak/verirun

Quick facts

  • Listing: Community
  • Published Sep 14, 04:51 UTC
  • Transport: stdio
  • Package: npm verirun 0.2.1-dev
  • Listed by cosmic-mcp: Nov 9, 04:25 UTC

Other

Setup snippets

Generated from the registry entry. cosmic-mcp has not run or reviewed this server; values in angle brackets are yours to fill in.

Run it locally (npm)

npx -y '[email protected]'

Claude Desktop (claude_desktop_config.json)

{
  "mcpServers": {
    "verirun": {
      "args": [
        "-y",
        "[email protected]"
      ],
      "command": "npx",
      "env": {
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<your verirun allow endpoint repin>",
        "VERIRUN_ALLOW_INPUT_INJECTION": "<your verirun allow input injection>",
        "VERIRUN_DATA_DIR": "<your verirun data dir>"
      }
    }
  }
}

Claude Code

claude mcp add 'verirun' -- npx -y '[email protected]'

Cursor (.cursor/mcp.json)

{
  "mcpServers": {
    "verirun": {
      "args": [
        "-y",
        "[email protected]"
      ],
      "command": "npx",
      "env": {
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<your verirun allow endpoint repin>",
        "VERIRUN_ALLOW_INPUT_INJECTION": "<your verirun allow input injection>",
        "VERIRUN_DATA_DIR": "<your verirun data dir>"
      }
    }
  }
}

VS Code (.vscode/mcp.json)

{
  "servers": {
    "verirun": {
      "args": [
        "-y",
        "[email protected]"
      ],
      "command": "npx",
      "env": {
        "VERIRUN_ALLOW_ENDPOINT_REPIN": "<your verirun allow endpoint repin>",
        "VERIRUN_ALLOW_INPUT_INJECTION": "<your verirun allow input injection>",
        "VERIRUN_DATA_DIR": "<your verirun data dir>"
      },
      "type": "stdio"
    }
  }
}

Related servers

  • Business Contact Finder Verified domain
    Check how to contact a business website, and whether that contact path actually works.
  • Contractor Licence Changes Verified domain
    Did this contractor's licence change? Observed lapses and reinstatements, not a snapshot.
  • Licensed House Painters Verified domain
    Find licensed house painters in 11 US states, with dated license status from state boards.
  • AnkiMCP Server Verified domain
    Anki addon that exposes your flashcard collection to AI assistants via a local MCP server.
  • Affiliate Networks MCP Verified domain
    Affiliate network reporting in your AI client. Bring your own keys. Most adapters experimental.
  • AGILEX Docs Verified domain
    Official AGILEX robotics product docs: manuals, CAN protocol, firmware, FAQ. Read-only.