Tools

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.

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.

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.

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.

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.