Mathematical modeling resources and information

Glama

Search for:

Mathematical modeling resources and information

View all MCP Servers

Why this server?
Directly supports mathematical modeling by enabling the solution of complex combinatorial optimization problems with solvers like Z3 and CVXPY.
Constrained Optimization MCP Server
Sharmarajnish
-
security
A
license
-
quality
Enables solving complex combinatorial optimization problems with logical and numerical constraints through multiple solvers (Z3, CVXPY, HiGHS, OR-Tools). Specializes in portfolio optimization, scheduling, resource allocation, and constraint satisfaction problems.
Last updated -
5
1
Apache 2.0
Why this server?
Specializes in solving linear programming (LP) and mixed-integer linear programming (MILP) problems, core techniques in mathematical modeling.
MCP Optimizer
mrugankpednekar
-
security
A
license
-
quality
Enables solving linear programming (LP) and mixed-integer linear programming (MILP) optimization problems through natural language, with built-in simplex and branch-and-cut solvers plus infeasibility diagnostics. Includes optional OR-Tools fallback for larger problems and supports parsing optimization problems from natural language descriptions.
Last updated -
MIT License
Why this server?
Highly relevant for applied mathematical modeling, enabling complex calculations in chemical engineering including thermodynamic modeling and phase equilibrium analysis.
MoziChem-MCP
sinagilassi
A
security
A
license
A
quality
Enables AI assistants to perform complex chemical engineering calculations including thermodynamic modeling, equation of state calculations, phase equilibrium computations, and vapor-liquid equilibrium analysis. Built on the MoziChem framework to bridge AI language models with specialized chemical engineering tools.
Last updated -
6
2
MIT License
Why this server?
Provides advanced capabilities for scientific computing, solving differential equations, and tensor algebra, which are fundamental to physical modeling.
Physics MCP Server
BlinkZer0
-
security
A
license
-
quality
Enables physicists to perform computer algebra calculations, create scientific plots, solve differential equations, work with tensor algebra and quantum mechanics, and parse natural language physics problems. Supports unit conversion, physical constants, and generates comprehensive reports with optional GPU acceleration.
Last updated -
1
MIT License
Why this server?
Enables sophisticated econometric modeling and statistical analysis, directly supporting mathematical modeling applications in economics and finance.
R Econometrics MCP Server
finite-sample
-
security
A
license
-
quality
Provides econometric modeling capabilities through R, enabling AI assistants to perform sophisticated analyses including linear regression, panel data models, instrumental variables regression, and diagnostic tests.
Last updated -
185
MIT License
Why this server?
Offers a powerful core for mathematical modeling by providing access to 286 comprehensive mathematical functions for numerical and analytical tasks.
MCP Math Server
chrishayuk
-
security
F
license
-
quality
A Mathematical Computation Protocol server providing 286 mathematical functions across multiple domains with flexible transport options (STDIO/HTTP) and streaming capabilities.
Last updated -
1
Why this server?
Essential for numerical computation in modeling, allowing complex operations like matrix multiplication and statistical analysis using NumPy.
NumPy Calculator
colesmcintosh
-
security
F
license
-
quality
A Model Context Protocol (MCP) server that provides mathematical calculations and operations using NumPy, enabling users to perform numerical computations like matrix operations, statistical analysis, and polynomial fitting directly through Claude.
Last updated -
2
Why this server?
Focuses on analyzing complex biological data (single-cell omics) using specialized probabilistic models, fitting the category of scientific mathematical modeling.
scvi-tools MCP Server
hyennnnnnn
-
security
A
license
-
quality
Enables deep probabilistic analysis of single-cell omics data using scvi-tools through natural language. Supports SCVI for scRNA-seq analysis, SCANVI for cell type annotation, TOTALVI for multi-modal RNA/protein data, and PEAKVI for scATAC-seq analysis.
Last updated -
MIT License
Why this server?
Enables formal verification and modeling of software and systems using the Alloy language, highly relevant for precise structural modeling.
MCP Server for Alloy Modeling Language
awwaiid
-
security
A
license
-
quality
Enables LLM-powered agents to generate, execute, and analyze Alloy modeling language code for software modeling and formal verification. Provides tools to run Alloy models, access documentation and examples, and generate models from system descriptions.
Last updated -
1
MIT License
Why this server?
A universal solver for numerical and logical constraint problems, providing a versatile tool for implementing model solutions.
USolver
sdiehl
A
security
A
license
A
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 -
7
57
Apache 2.0