Skip to content

Add hybrid-math-solver MCP server - #4883

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

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.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant