"author:sdiehl" matching MCP servers:

• Symbolic Algebra MCP Server

  sdiehl

  A

  license

  B

  quality

  B

  maintenance

  A Model Context Protocol server that enables LLMs to autonomously perform symbolic mathematics and computer algebra through SymPy's functionality for manipulating mathematical expressions and equations.

  Last updated 2026-03-18

  32

  70

  Apache 2.0

• USolver

  sdiehl

  F

  license

  B

  quality

  F

  maintenance

  A best-effort universal logic and numerical solver interface using MCP that implements the 'LLM sandwich' model to process queries, call dedicated solvers (ortools, cvxpy, z3), and verbalize results.

  Last updated 2026-05-19

  7

  65