Skip to main content
Glama
alphaparkinc

genpark-reasoning-backtracking-counterfactual-auditor-skill

Official

Related Servers

Alternatives to genpark-reasoning-backtracking-counterfactual-auditor-skill

No user-submitted related servers found.

    Related Servers

    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables agents to verify complex math, code, and logic reasoning through MCTS step-level process reward modeling, counterfactual backtracking, symbolic proof checking, and majority-vote consensus so hallucinated branches get pruned. It also allocates test-time compute dynamically and exposes these capabilities over a zero-dependency STDIO MCP server for Claude Desktop, Cursor, and other agent runtimes.
      7
      MIT
    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables agents to dynamically allocate test-time compute, including entropy-driven thinking token budgets, temperature annealing, and reflection passes, while verifying reasoning via MCTS search with process reward modeling, counterfactual backtracking, formal proof checking, and majority-vote consensus. Runs as a zero-dependency Python MCP server over STDIO JSON-RPC for integration with Claude Desktop, Cursor, or custom agent runtimes.
      7
      MIT
    • F
      license
      Not graded
      quality
      B
      maintenance
      Enables MCP-compliant agents to run deterministic iterative self-critique and reflection loops that autonomously evaluate and revise outputs to repair logic defects, test failures, and hallucinations. It connects via JSON-RPC stdio with no external dependencies, supporting fast local execution and agent integration.
      7
      -