Инструменты
Все Skills, MCP-серверы, CLI и плагины каталога. Фильтруйте по типу, профессии или тегу либо ищите по ключевому слову.
Профессия: Frontend +1
Можно выбрать несколько: показываются ресурсы, подходящие хотя бы для одной из них.
Теги: teaching
Можно выбрать несколько: показываются только ресурсы со всеми выбранными тегами.
2 ресурса
F5-TTS
CLIOpen-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.
SWivid/F5-TTS15.4k
lean-lsp-mcp
MCPMCP 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.
oOo0oOo/lean-lsp-mcp536