# Tools

> Every listed resource, editors’ picks first. The filters below can be combined.

- Search: append `?q=<keywords>` to the URL. Separate several keywords with spaces; all of them must match. Matches name, repository, tags, professions, description and README.
- Filter by type: append `?type=<cli|skill|plugin|mcp>` to the URL.
- Filter by profession: append `?profession=<profession id>` to the URL. Separate several ids with commas; a resource matches when it suits any of them. Ids are listed at https://hebbmind.com/api/v1/professions
- Filter by tag: append `?tag=<tag>` to the URL. Separate several tags with commas; a resource must carry all of them. Tags are listed at https://hebbmind.com/api/v1/tags

Resources for QA or ML / AI or Data analysis, Tagged `teaching`: 6 items.

> - QA: Functional testing, test automation and quality assurance.
> - ML / AI: Model training, evaluation and LLM application development.
> - Data analysis: Querying, statistical analysis, reporting and visualization.

- [F5-TTS](https://hebbmind.com/cli/f5-tts.md): [CLI] Open-source zero-shot TTS via f5-tts_infer-cli: from a few seconds of reference audio it reads Chinese or English text in the same voice, handy for lessons and videos. Needs Python, PyTorch and FFmpeg, ideally a GPU. Pretrained models are non-commercial; get consent before cloning a voice.
- [Math Modeling Skill](https://hebbmind.com/skill/math-modeling-skill.md): [Skill] 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.
- [My Claude Code Setup (claude-code-my-workflow)](https://hebbmind.com/skill/claude-code-my-workflow.md): [Skill] Econometrician Pedro Sant'Anna's academic Claude Code setup (fork the repo to use it): Beamer/Quarto lecture slides, paper review and mock refereeing, R/Python analysis and replication packages, with specialist subagents and quality gates. Needs Git and Python; slides need XeLaTeX and Quarto.
- [lean-lsp-mcp](https://hebbmind.com/mcp/lean-lsp-mcp.md): [MCP] 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.
- [Math Modeling Skills](https://hebbmind.com/skill/math-modeling-skills.md): [Skill] 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.
- [Wolfram AgentTools](https://hebbmind.com/mcp/agenttools.md): [MCP] 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.