不要用 lens ，现在任何带有 lsp 或 lint 或 format 都是在给 AI 添堵