overleaf-vscode-plugin

name	overleaf-vscode-plugin
description	Use when the user wants to read or modify an Overleaf project through the installed VSCode extension `iamhyc.overleaf-workshop`. Reuse the extension's saved login session from VSCode state, list projects/files, read remote `.tex` docs, and overwrite existing Overleaf docs safely from the terminal.

Overleaf VSCode Plugin

Use this skill for Overleaf editing on this machine. It relies on the already installed VSCode extension iamhyc.overleaf-workshop and reuses its saved session from VSCode's state.vscdb.

Workflow

1. Use the bundled script for all remote actions:

~/.codex/skills/overleaf-vscode-plugin/scripts/overleaf_vscode_plugin.js projects
~/.codex/skills/overleaf-vscode-plugin/scripts/overleaf_vscode_plugin.js files "NMI 2026 NPP"
~/.codex/skills/overleaf-vscode-plugin/scripts/overleaf_vscode_plugin.js read "NMI 2026 NPP" /sec/0_abs.tex
~/.codex/skills/overleaf-vscode-plugin/scripts/overleaf_vscode_plugin.js write "NMI 2026 NPP" /sec/0_abs.tex --from-file /tmp/0_abs.tex

2. For edits, follow this sequence:

   • Read the current remote file.
   • Make the edit locally in the workspace or a temp file.
   • Write the full file back with write.
   • Re-read the file to verify the final remote content.

3. Prefer Overleaf paths with a leading /, for example /sec/0_abs.tex.

Notes

• These commands require network access. If sandboxed network is blocked, rerun with escalated permissions.
• Do not print or expose cookies from the VSCode state database.
• The script is designed for existing text docs in Overleaf. Use it to overwrite .tex, .bib, and other doc-backed text files.
• If a write would produce no content change, the script exits cleanly without mutating the project.