Skip to main content
Glama
alphaparkinc

genpark-reasoning-budget-test-time-compute-allocator-skill

Related Servers

Alternatives to genpark-reasoning-budget-test-time-compute-allocator-skill

No user-submitted related servers found.

    Related Servers

    • 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
    • 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 coding agents to make small, bounded decisions around tasks via stdio MCP, supporting source-bound context, durable budgets, bulk jobs, and measured outcomes while leaving planning and reasoning with the main model.
      MIT
    • A
      license
      Not graded
      quality
      B
      maintenance
      Enables agents to resample reasoning paths, semantically deduplicate candidate answers, and confidence-weight votes to produce a consensus result. It also exposes verification and proof-checking tools over MCP STDIO JSON-RPC.
      7
      MIT

    Maintenance

    ActivityMaintained
    ResponsivenessNo issues