mcp-parallax

quanticsoul4772/mcp-parallax
★ 1 stars Rust Search Updated today
Parallax - an MCP server of independent correctives for a model's predictable failure modes: adversarial verification, deterministic checks (Z3/evalexpr), verified cross-session memory, cited research, and harness-triggered trajectory checkpoints. Rust, stdio.
View on GitHub → 🔍 Audit Wallet Slippage →

Quick Install

Copy the config for your editor. Some servers may need additional setup — check the README.

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "mcp-parallax": {
      "command": "cargo",
      "args": [
        "run",
        "--",
        "mcp-parallax"
      ]
    }
  }
}

README Excerpt

Parallax is an MCP server that gives a language model tools to check its own work: verify a claim, run a deterministic check, store and recall memory, research a question, and review its trajectory. The server exposes fourteen tools in four groups: - **Cognitive correctives**, called by the model: `verify` judges whether a claim holds, `unstick` returns one next step when looping, `diverge` returns alternative framings of a problem, `decide` selects among supplied options and reports the scoring

Tools (20)

ANTHROPIC_API_KEYANTHROPIC_MODELBRAVE_API_KEYCHECKPOINT_GATE_PATTERNSDATABASE_PATHFETCH_ALLOW_PRIVATEFETCH_TIMEOUT_MSGROUNDED_VERIFY_MAX_BYTESGROUNDED_VERIFY_MAX_LOCATORSGROUNDED_VERIFY_ROOTINPUT_MAX_CHARSLOG_LEVELMAX_RETRIESMEMORY_RECALL_LIMITOTEL_EXPORTER_OTLP_ENDPOINTOTEL_SDK_DISABLEDREQUEST_TIMEOUT_MSRESEARCH_CONCURRENCYVERIFY_ENSEMBLE_KVOYAGE_API_KEY