# Supervertaler Docs > Help and documentation for Supervertaler – AI translation, terminology and search inside Trados Studio and memoQ. Supervertaler for Trados is a Trados Studio plugin: TermLens live terminology, an AI assistant, batch translate and proofread, SuperSearch cross-file search, the SuperMemory knowledge base, and an MCP server that connects AI assistants to the live Studio session. Supervertaler Workbench, a standalone CAT tool, is also documented here but is no longer actively developed. ## Documentation Sets - [Abridged documentation](https://docs.supervertaler.com/llms-small.txt): a compact version of the documentation for Supervertaler Docs, with non-essential content removed - [Complete documentation](https://docs.supervertaler.com/llms-full.txt): the full documentation for Supervertaler Docs - [Supervertaler for Trados](https://docs.supervertaler.com/_llms-txt/supervertaler-for-trados.txt): Docs for the Trados Studio plugin only - [Supervertaler for memoQ](https://docs.supervertaler.com/_llms-txt/supervertaler-for-memoq.txt): Docs for the memoQ plugin only - [Supervertaler Workbench](https://docs.supervertaler.com/_llms-txt/supervertaler-workbench.txt): Docs for the standalone Workbench app only (no longer actively developed) ## Notes - The complete documentation includes all content from the official documentation - The content is automatically generated from the same source as the official documentation ## Optional - [supervertaler.com](https://supervertaler.com): Product website - [GitHub: Supervertaler for Trados](https://github.com/Supervertaler/Supervertaler-for-Trados): Supervertaler for Trados issues and releases - [RWS AppStore](https://appstore.rws.com/plugin/432): Where the plugin is distributed - [GitHub: Workbench](https://github.com/Supervertaler/Supervertaler-Workbench): Supervertaler Workbench source and releases (no longer actively developed)