Related Servers

No user-submitted related servers found.

Related Servers

• 

  genpark-reasoning-formalofficial

  alphaparkinc

  A

  license

  -Not graded

  quality

  B

  maintenance

  Enables agents to validate propositional logic assertions and formal symbolic deductions through a zero-dependency MCP STDIO server, supporting proof checking and reasoning verification.

  Updated 7 days ago (2026-10-31 00:22 UTC)

  7

  MIT

• genpark-reasoning-mcts-step

  alphaparkinc

  A

  license

  -Not graded

  quality

  B

  maintenance

  Enables MCP clients to perform step-level process reward evaluation, MCTS-guided reasoning search, hallucination branch pruning, and formal verification for complex math, code, and logic problems.

  Updated 7 days ago (2026-10-31 00:23 UTC)

  7

  MIT
• 

  genpark-agent-hallucinationofficial

  alphaparkinc

  F

  license

  -Not graded

  quality

  B

  maintenance

  Enables autonomous agents and MCP clients to decompose text into atomic claims and verify them against reference knowledge, detecting ungrounded claims, numerical contradictions, and hallucinated entities.

  Updated a month ago (2026-09-29 09:55 UTC)

  7

  -
• 

  genpark-reasoning-backtrackingofficial

  alphaparkinc

  A

  license

  -Not graded

  quality

  B

  maintenance

  Enables agents to audit their own reasoning trajectories for loops, deadlocks, and logical contradictions, then perform non-destructive checkpoint rollbacks to a sound prior step. It combines step-level reward evaluation, MCTS search, symbolic proof checking, and consensus voting to return verified solutions over MCP stdio.

  Updated 7 days ago (2026-10-31 00:22 UTC)

  7

  MIT

• Logic-LM MCP Server

  shipitsteven

  A

  license

  -Not graded

  quality

  F

  maintenance

  Provides symbolic reasoning capabilities by converting natural language logical problems into Answer Set Programming (ASP) format and solving them using the Clingo solver. Enables users to perform formal logical reasoning, verify logical arguments, and get step-by-step explanations for complex logical problems.

  Updated a year ago (2025-08-28 21:34 UTC)

  5

  MIT

• genpark-reasoning-mcts-step

  Alpha-Park

  A

  license

  -Not graded

  quality

  -Not graded

  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.

  Updated 7 days ago (2026-10-31 00:23 UTC)

  7

  MIT