Tag: scientific-computing

Lean 4 theorem-proving plugin with workflows to draft, formalize, prove, disprove, review and golf proofs, plus mathlib search, axiom checks and safety guardrails, helping mathematicians and teachers produce machine-checked proofs. Needs Lean 4 and mathlib; pairs well with lean-lsp-mcp.

Two skills for the MCM/ICM and China's CUMCM math modeling contests: solver breaks down problems, picks models from a 95+ scenario decision matrix and gives Python or MATLAB templates; paper coaches abstracts, model validation and formatting from winning papers. Needs Python or MATLAB.

Posit's official R package connecting R to Claude Code and other agents: register your own R functions as tools and run them in your open R session, using its data. Out of the box it only switches sessions; add the btw package for docs lookup and data inspection tools. Requires R.

Wolfram's official agent tools: use the Wolfram Language and Wolfram|Alpha for symbolic and numeric math and scientific and statistical data, for teaching and research. The command runs the official Docker image with a free developer license; Wolfram 15+ users can install it in the app.

NASA's official MCP for its Common Metadata Repository: find Earth science and remote sensing datasets in plain language, check that data files exist for a given place and time, and get access services, related tools and citation info. No account to connect; downloads need an Earthdata login.