Serena
Поиск и изменение кода по символам: найти функцию и её использования, заменить тело метода или выполнить переименование в проекте.
MCP-сервер
MCP server for TNL (Typed Natural Language): per-feature English contracts for AI coding agents. 6 tools — get_impacted_tnls , retrieve_tnl , trace , propose_tnl_diff , approve_tnl_diff , verify — let agents look up relevant contracts, propose contract edits, and verify implementations against them. Drop-in via init for Claude Code, Codex, Gemini