Scientific computing MCP servers

A server here theorem proving, symbolic maths, physics or engineering simulation.

Not here: business or finance calculators, trading backtests and simple arithmetic.

417servers
162 remote255 localTagged by Odel's AI, which can make mistakes

Best fit

280 made for this, ranked by starsRemoteLocal
  1. EPWForge @guzz-labs/epwforge-mcpEPW/DDY weather files - TMY/AMY/CMIP6 morphing, UHI, events, smoke. 3 of 4 tools anon-free.3% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  2. Arquestra — Scientific Computing Orchestration @apertura-ai/arquestraAI orchestration for computational chemistry and HPC workflows.8% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  3. Chemistry @covasyn/chemistryDeterministic MCP for AI agents: drug discovery, ADMET, docking, LNPs, DoE, retrosynthesis, ICH M75% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  4. Prover @axiomatic-ai/proverLean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.13% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; you sign in with your account.
  5. Optimizer @smithery/mrugankpednekar-mcp-optimizerOptimize crew and workforce schedules, resource allocation, and routing with linear and mixed-inte…5% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; it needs your API key.
  6. Circuit Sim Lab (電路模擬實驗室) @enscon/circuit-simPCB calculators: trace impedance, crosstalk, diff skew, crystal load cap, Vout tolerance, inrush.3% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  7. Uncertainty Calculator @quentintruong/uncertainty-calculatorEvaluate mathematical expressions and propagate measurement uncertainty.Not assessed yet.A remote server; no sign-in.
  8. ThrustLab @thrustlab/thrustlabSimulate electric UAV powertrains and search a public motor, propeller and battery database.3% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  9. MagicON RF Design Engines @magiccadai/magiconTX/RX/T-R chains, OTA link, radar, PCB filters, patch antennas, stackup, thermal, PDN, compliance.Not assessed yet.A remote server; no sign-in.
  10. DrapeCut @drapecut/drapecutSimulate composite fabric draping on CAD surfaces; compare fibre angles and export DXF/PDF patterns.3% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  11. ProteinIQ @proteiniq/proteiniqRun protein folding, docking, design and sequence analysis tools, and read their results.Not assessed yet.A remote server; you sign in with your account.
  12. ScoreCompute @scorecompute/scorecompute38 MCP tools: Rust computation, Discovery, composition, counterexample scans and signed checks.3% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  13. Cybergenic @cybergenic/mcpCancer gene co-occurrence and exclusivity in tumour cohorts, with confound controls and exact tests.3% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  14. Electronics Architect @electronics-architect/electronics-architectSolve a DC/DC power tree: per-stage current, efficiency, dissipation, thermals, tolerance corners.6% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; you sign in with your account.
  15. Solvion Heating Energy Engineering @solvion/heating-energy-engineeringHeating, ventilation and energy engineering calculations and diagnostics for AI agents.4% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  16. Arithym @arithym/arithymPrecision math engine for AI agents. 203 exact methods. Zero hallucination.9% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; you sign in with your account.
  17. IO Aerospace MCP Server @io-aerospace/mcp-serverMCP server for aerospace calculations: orbital mechanics, ephemeris, DSN operations, ...7% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  18. Icme Preflight @wyattbenno777/icme-preflightJailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.8% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  19. Databutler Stats @physics-star-cat/databutler-statsExact statistics & probability: distributions, hypothesis tests, CIs, Bayesian updates, regression.2% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  20. FTIR.fun Spectral Search @jxbaoxiaodong/ftirfun-mcpFTIR spectral search and material identification for AI agents via MCP.6% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; it needs your API key.
  21. WaveGuard @gpartin/waveguardAnomaly detection API powered by physics simulation. Scan any data for outliers.5% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  22. Atomadic Forge @atomadictech/atomadic-forgeArchitecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.7% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  23. RQM Studio Jobs @rqmtechnologies/studioDelegate 20 fail-closed RQM Studio quantum work products with fixed-request x402.11% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.
  24. ReliaSim @reliasim/publicReliability and bottleneck simulation for manufacturing lines; run experiments, sweep buffers.29% chance this is malicious. Assessed by AI, which can make mistakes.A remote server; no sign-in.