Skip to content

Add hybrid-math-solver MCP server - #4883

Closed
ObitoUchiha930 wants to merge 3 commits into
modelcontextprotocol:mainfrom
ObitoUchiha930:main
Closed

ObitoUchiha930 wants to merge 3 commits into
modelcontextprotocol:mainfrom
ObitoUchiha930:main

Conversation

@ObitoUchiha930

Copy link
Copy Markdown

<## Description
Adds hybrid-math-solver MCP server that prevents Claude from averaging inconsistent linear systems.

The Problem It Solves

Claude hallucinates when A has identical rows but different b:
Example: A=[[1,0],[1,0]], b=[1,2] -> x=1 and x=2
Claude incorrectly answers x=1.5 (average), but A·1.5 - b = [0.5, -0.5] != 0
Correct answer: No solution exists

Solution

  • verify_linear_system tool checks A·x - b = 0
  • Detects identical rows in A with different b values
  • Returns residual and prevents averaging hallucination

Implementation

  • Location: src/hybrid-math-solver/
  • Files: index.js, package.json, README.md
  • SDK: @modelcontextprotocol/sdk
  • Author: Faissal Ait Jana - TU Delft - @ajfAlpha

Testing

Tested on inconsistent systems where averaging fails.

Added README.md to explain the Hybrid Math Solver's purpose, features, and author.
Implement a hybrid math solver server with verification for linear systems.
@cliffhall cliffhall added the closed-out-of-scope Closed: out of scope here; listings and new servers go to the MCP Registry (#4875) label Oct 20, 2026
@cliffhall

Copy link
Copy Markdown
Member

Thank you for this pull request, and apologies for the long wait for a response. This repository does not accept new server implementations or server listings, and it now accepts issues, not pull requests, from anyone but its maintainers (CONTRIBUTING.md). To make your server discoverable, publish it to the MCP Server Registry by following its quickstart guide.

This is part of the backlog triage in #4875.

@cliffhall cliffhall closed this Oct 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

closed-out-of-scope Closed: out of scope here; listings and new servers go to the MCP Registry (#4875)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants