# 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 Translation / L10n, Tagged `teaching`: 5 items.

> - DevOps / SRE: Deployment, monitoring, cloud resources and reliability.
> - ML / AI: Model training, evaluation and LLM application development.
> - Translation / L10n: Translating documents and software, localization and multilingual QA.

- [VideoCaptioner](https://hebbmind.com/ru/cli/videocaptioner.md): [CLI] CLI version of the VideoCaptioner subtitle assistant: transcribes courses, lectures and interviews, uses an LLM to segment, proofread and translate, then burns subtitles into the video. Free ASR and Bing translation work out of the box; LLM refinement needs an API key. Python 3.10 to 3.12.
- [F5-TTS](https://hebbmind.com/ru/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.
- [fanyi](https://hebbmind.com/ru/cli/fanyi.md): [CLI] Chinese-English translation and word lookup in the terminal: one command shows definitions, phonetics and examples from iCiba, Youdao and an LLM. No API key needed (built-in free LLM proxy), or use any OpenAI-compatible model. Needs Node.js 20+; queries are sent to these online services.
- [Co-op Translator](https://hebbmind.com/ru/cli/co-op-translator.md): [CLI] Microsoft Azure's official tool for translating Markdown, Jupyter notebooks and image text into 50+ languages; re-translates only changed parts and keeps links and formatting. Needs Python 3.11+ and an Azure OpenAI, OpenAI or Anthropic key; images need Azure AI Vision.
- [lean-lsp-mcp](https://hebbmind.com/ru/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.