Tools

166 research skills maintained by K-Dense (formerly Claude Scientific Skills), spanning bioinformatics, cheminformatics, clinical research, materials and physics, including unified access to 78 public databases such as PubChem and UniProt. Works with Claude Code, Codex and Cursor.

Official Anthropic plugin that solves competition math such as IMO and Putnam problems, with adversarial checks by an independent verifier that only sees the clean proof. Gives up explicitly rather than bluffing when unsure, and outputs LaTeX/PDF once verified.

Creates, edits and validates reproducible Python and SQL Jupyter notebooks: organizes cells as reports or tutorials, checks conclusions against actual output and reruns top to bottom before handoff. Maintained by OpenAI in the Data Analytics plugin of openai/plugins.

Converts and two-way syncs Jupyter notebooks with plain Python scripts or Markdown, so agents can edit research and teaching notebooks like ordinary text and diffs stay readable. Needs a local Python environment; install with pip.

Builds Markdown and Jupyter notebooks into online textbook sites with a TOC, math, citations and cross-references, plus publication-quality PDF export; popular for course notes. A Jupyter subproject installed via pipx or npm; PDF export needs Typst or LaTeX.

NVIDIA's official, verified catalog of hundreds of skills covering CUDA-X libraries, NeMo training, NIM and Dynamo inference, RAG blueprints, Jetson, Omniverse and robotics simulation. The install adds only nvidia-skill-finder, which recommends other skills and installs them once you confirm.

NVIDIA's official plugin that finds and installs the right skills from NVIDIA's catalog for your task, spanning CUDA acceleration, NIM inference, NeMo training, RAG blueprints, Omniverse simulation and robotics. Listed in both the Claude and Codex official marketplaces.

A three-stage workflow for math modeling contests like MCM/ICM and CUMCM: analysis, solving and plotting in Python or MATLAB, and a Word (optionally LaTeX) paper, with stage-check subagents and OpenAlex plus AnySearch literature search. Generated papers are for reference only.

MathWorks' official server that lets agents start your local MATLAB, write and run scripts and unit tests, and check code style and potential errors, for computing, simulation and data analysis. Needs a licensed MATLAB R2021a+ and the downloaded server binary.

Turns secondary-school math and science problems into teaching materials: interactive geometry solution pages, 3D molecular views of chemical reactions, and math explainer videos with Chinese voiceover and bilingual subtitles (needs a Zhipu GLM-TTS key). Requires Python sympy.

Connects agents to live Jupyter notebooks: read, write, insert and execute cells and read multimodal outputs like charts, for interactive data analysis. Bring your own JupyterLab or JupyterHub; open source, maintained by Datalayer.

MathWorks' official toolkit for reading, building, modifying and testing Simulink models via the MATLAB MCP server, with skills for control design, Simscape, code generation and compliance checks. Needs licensed MATLAB R2023a+ and Simulink; run the official installer in MATLAB first.

Breaks a rough explanation idea into a scene-by-scene storyboard, then writes animation code following best practices for Manim Community or 3Blue1Brown's ManimGL, for math and physics explainers in class demos and educational videos. Needs Python, FFmpeg and LaTeX installed locally.

MathWorks' official toolkit: set up the MCP server via the MATLAB installer so agents can run code, run tests and do static checks; domain skill sets for signal processing, controls, statistics and machine learning install as Claude Code plugins. Needs MATLAB R2021a+.

MCP server for the Lean 4 theorem prover: lets agents read proof goals, diagnostics and definitions and search theorems via LeanSearch and Loogle, helping mathematicians and students with formal proofs. Needs uv and the Lean toolchain; run it from the Lean project root.

Connects Stata to VS Code or Cursor and exposes a local MCP endpoint so Claude Code or Codex can write and run do-files and read regression output, with graphs shown in the editor; for empirical research. Needs a licensed Stata 17+, the extension installed and the editor open.

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.