# 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 DevOps / SRE or ML / AI or Founders, Tagged `teaching`: 4 items.

> - DevOps / SRE: Deployment, monitoring, cloud resources and reliability.
> - ML / AI: Model training, evaluation and LLM application development.
> - Founders: Business plans, fundraising decks, business analysis and team management.

- [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.
- [Presenton](https://hebbmind.com/mcp/presenton.md): [MCP] Open-source AI presentation generator that builds slides from a topic or uploaded documents and exports PPTX or PDF, with a built-in MCP endpoint for agents. Good for lesson decks and reports. Self-host with Docker and configure an LLM API key, then have an admin create an MCP key.
- [Codebase to Course](https://hebbmind.com/skill/codebase-to-course.md): [Skill] Turns any codebase into an interactive browser course: real code with plain-language explanations, animations, hover glossaries and scenario quizzes. Built for people who build software with AI but can't read code, and useful for intro programming classes. Needs only an agent and the repo.
- [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.