"author:sdiehl" matching MCP servers:

• Symbolic Algebra MCP Server

  sdiehl

  A

  security

  A

  license

  -

  quality

  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 25 days ago

  32

  57

  Apache 2.0

• USolver

  sdiehl

  A

  security

  A

  license

  -

  quality

  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 3 months ago

  7

  66

  Apache 2.0