lean-lsp
25MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
not rated 40 2d ago A
tokens not measured
original Apache-2.0
MCP server Claude CodeCodexCursor +2
One of 6 in server.json
MCP server for the Qiskit Code Assistant. Runs locally from the qiskit-code-assistant-mcp-server Python package. Needs 3 environment variables to run.
not rated 39 1mo ago A
tokens not measured
original Apache-2.0
MCP server Claude CodeCodexCursor +2
MCP server "literatur-mcp" as configured in saidsurucu/literatur-mcp. Runs locally from the literatur-mcp Python package.
not rated 39 4mo ago A
tokens not measured
original MIT
galaxy-mcp
28MCP server Claude CodeCodexCursor +2
Model Context Protocol server for Galaxy bioinformatics platform. Runs locally from the galaxy-mcp Python package. Needs 2 environment variables to run.
not rated 38 23d ago A
tokens not measured
original MIT
MCP server Claude CodeCodexCursor +2
MCP server for controlling OriginLab Origin Pro via COM automation. Runs locally from the origin-pro-mcp Python package.
not rated 35
+2 1mo ago A
tokens not measured
original MIT
mma-mcp
30MCP server Claude CodeCodexCursor +2
MCP server "mma-mcp" as configured in siqiliu-tsinghua/mma-mcp. Runs locally from the mma-mcp Python package.
not rated 32 1mo ago A
tokens not measured
original MIT archived
MCP server Claude CodeCodexCursor +2
MCP server "aspenplus-mcp" as configured in brack101/AspenPlus-MCP-Server. Runs locally from the aspenplus-mcp Python package.
not rated 32 11mo ago A
tokens not measured
chemlint
32MCP server Claude CodeCodexCursor +2
MCP server "chemlint" as configured in molML/ChemLint. Runs locally from the chemlint Python package.
not rated 31
+2 2mo ago A
tokens not measured
original MIT
hyades
33MCP server Claude CodeCodexCursor +2
Render LaTeX math as pure Unicode text art for terminals, code comments, and emails. Remote server at hyades-mcp.apg.workers.dev.
not rated 30 5mo ago A
tokens not measured
original MPL-2.0
agrobr
34MCP server Claude CodeCodexCursor +2
MCP server exposing Brazilian agricultural data via agrobr. Runs locally from the agrobr-mcp Python package.
not rated 27
+1 5mo ago A
tokens not measured
original MIT
netlogo
35MCP server Claude CodeCodexCursor +2
MCP server "netlogo" as configured in Razee4315/NetLogo-MCP. Launched with netlogo-mcp. Needs 2 environment variables to run.
not rated 26 1mo ago A
tokens not measured
original MIT
MCP server Claude CodeCodexCursor +2
A local search and reading service for papers on arXiv, a public website where researchers share scientific papers. It can find papers and parse their contents.
not rated 24 1y ago A
tokens not measured
original MIT
rowan-mcp
37MCP server Claude CodeCodexCursor +2
Model Context Protocol server for Rowan computational chemistry platform. Runs locally from the rowan-mcp Python package.
not rated 23 9mo ago A
tokens not measured
lazarus
38MCP server Claude CodeCodexCursor +2
Mechanistic interpretability MCP server wrapping chuk-lazarus. Runs locally from the chuk-mcp-lazarus Python package.
not rated 21 5mo ago A
tokens not measured
lean-lsp-mcp
39MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
not rated 21 5mo ago A
tokens not measured
original MIT
opentargets
40MCP server Claude CodeCodexCursor +2
MCP server for Open Targets Platform biomedical data access. Runs locally from the opentargets-mcp Python package.
not rated 19 3mo ago A
tokens not measured
original MIT
jaxonomy
41MCP server Claude CodeCodexCursor +2
JAX-native simulation engine for hybrid dynamical systems: block-diagram modeling, ODE/DAE solvers, events, acausal physics, and end-to-end autodiff. Runs locally from the jaxonomy Python package.
not rated 19
+1 23d ago A
tokens not measured
original MIT
SkyShannonProver/shannon-prover
MCP server Claude CodeCodexCursor +2
MCP server "shannon-prover" as configured in SkyShannonProver/shannon-prover. Runs locally from the shannon-prover Python package.
not rated 19
+1 15d ago A
tokens not measured
MCP server Claude CodeCodexCursor +2
Rosetta/PyRosetta protein modeling and Biotite translation for computational biology. Runs locally from the rosetta-mcp-server npm package. Needs 3 environment variables to run.
not rated 18 5mo ago A
tokens not measured
highs-mcp
44MCP server Claude CodeCodexCursor +2
A Model Context Protocol (MCP) server that provides linear programming (LP) and mixed-integer programming (MIP) optimization capabilities using the HiGHS solver. Runs locally from the highs-mcp npm package.
not rated 18 1y ago A
tokens not measured
original MIT
MaBoSS
45marcorusc/mcp-biomodelling-servers
MCP server Claude CodeCodexCursor +2
One of 3 in server.json
MCP servers for NeKo signalling-network construction, MaBoSS Boolean simulation, and PhysiCell configuration. Runs locally from the mcp-biomodelling-servers Python package.
not rated 18 16d ago A
tokens not measured
MCP server Claude CodeCodexCursor +2
MCP server "plantontology" as configured in AlexAI-MCP/PlantOntology. Runs locally from the plantontology Python package.
not rated 18 4mo ago A
tokens not measured
shibuiwilliam/mcp-server-scikit-learn
MCP server Claude CodeCodexCursor +2
MCP server "mcp-server-scikit-learn" as configured in shibuiwilliam/mcp-server-scikit-learn. Runs locally from the mcp-server-scikit-learn Python package.
not rated 17 1y ago A
tokens not measured
original MIT
MCP server Claude CodeCodexCursor +2
MCP server exposing stats-compass-core tools to LLMs like ChatGPT, Claude, and Gemini. Runs locally from the stats-compass-mcp Python package.
not rated 17 10d ago A
tokens not measured
original MIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: