Skip to main content
Glama
alphaparkinc

genpark-reasoning-mcts-step-verity-evaluator-skill

by alphaparkinc
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Remote

Related Servers

Alternatives to genpark-reasoning-mcts-step-verity-evaluator-skill

No user-submitted related servers found.

    Related Servers

    • genpark-reasoning-mcts-step

      Alpha-Park
      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

    • genpark-reasoning-budget-test

      Alpha-Park
      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

    • Atom of Thoughts

      dioptx
      A
      license
      A
      quality
      D
      maintenance
      Structured reasoning MCP server that decomposes problems into atomic steps (premise, reasoning, hypothesis, verification, conclusion) with confidence scoring, live visualization, and approval feedback.
      3
      95
      MIT

    • ephemeral-reasoning-mcp

      devLlama
      F
      license
      A
      quality
      C
      maintenance
      Provides an MCP server that decomposes complex problems into ordered, isolated reasoning contexts, yielding compressed summaries before discarding intermediate steps. Enables sequential or parallel step execution with optional verification for more reliable LLM reasoning.
      1
      -

    This server cannot be deployed

    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues

    Resources