[科研实践] VS Code (Copilot) + Overleaf (使用 Overleaf Workshop 插件)

[科研实践] VS Code (Copilot) + Overleaf (使用 Overleaf Workshop 插件)

科研圈写文档常用 Latex 环境,尤其是 Overleaf 它自带的 AI 润色工具 Writefull 太难用了。如果能用本地的 CoPilot / Cursor 结合 Overleaf,那肯定超高效!


于是我们找到了 VS Code 里的 Overleaf Workshop 插件。这里已经安装好了,没装过的同学可以直接点击 “安装”

安装后左边会出现 Overleaf Workshop 的图标:

点击右边的“+”:

Overleaf 官网需要登录,这里我们通过 cookie 调用已登录账号的 API:

回到主界面,右键点击 “检查”:


打开检查工具后,找到 “网络”(Network)窗口,搜索 “/project”

/project

如果首次加载没内容,刷新页面就能看到 project 条目了:


点击 project 条目,往下找到 “请求标头”,需要复制一段包含 cookie 的字符串(“神秘代码”)。这段代码全选后按 Ctrl+C 复制:

回到 VS Code,选择 “通过 cookie 登录”,粘贴(Ctrl+V)刚才的 cookie 字符串,回车确认:

这时会列出所有 Overleaf 项目。单击新窗口打开,打开后界面和 Overleaf 一致,左边是 LaTeX 代码,右边是 PDF 预览(“Ctrl+cmd+v” 预览快捷键)。现在试试本地 AI 功能:安装 VS Code 后,可连接 GitHub 或其他 AI 工具(如 CoPilot)

这相当于是用本地AI工具远程操作网页端的Overleaf

接下来就可以畅快写作啦~

快捷键:Ctrl + S 就能直接开始远程编译啦

参考视频:科研论文党王炸组合overleaf+Copilot_哔哩哔哩

Read more

MCP协议传输层(Transport layer)详解:解析MCP协议的传输层实现,以及四种不同的传输方式:Stdio、HTTP+SSE、StreamableHTTP和WebSocke

MCP协议传输层(Transport layer)详解:解析MCP协议的传输层实现,以及四种不同的传输方式:Stdio、HTTP+SSE、StreamableHTTP和WebSocke

在上一篇文章https://blog.ZEEKLOG.net/2402_87515571/article/details/157587292?fromshare=blogdetail&sharetype=blogdetail&sharerId=157587292&sharerefer=PC&sharesource=2402_87515571&sharefrom=from_link中,我们深入剖析了 MCP 的协议层,揭示了 BaseSession 如何在 JSON-RPC 之上完成 SessionMessage 的帧化、请求–响应关联、并发收发与通知分发,让客户端和服务端只需关注高层的请求处理和工具调用。 本文我将从 “消息如何被打包”转向“消息如何被传输”这个角度进行张开讲解。因为真正的通信管道,是由传输层(Transport

IntelliJ IDEA 运行 Tomcat 报错:Please, configure Web Facet first!

IntelliJ IDEA 运行 Tomcat 报错:Please, configure Web Facet first!

适用:IntelliJ IDEA Ultimate 关键点:Web Facet + Artifact(war exploded)+ Tomcat Deployment 本文同时覆盖两种项目结构: 1)普通 Web 目录结构(例如项目里有 web/WEB-INF) 2)Maven 标准结构(src/main/webapp) 0. 你遇到的现象是什么? 当你在 IDEA 里运行 Tomcat(或尝试打开浏览器访问)时,弹出提示: Browser Error Please, configure Web Facet first! 这句话的真实含义是:IDEA 还没把你的模块识别为 Web 模块,因此无法正确识别 Web 根目录、

从入门到精通:Ghostty-config配置面板完全指南

从入门到精通:Ghostty-config配置面板完全指南 【免费下载链接】ghostty-configA beautiful config generator for Ghostty terminal. 项目地址: https://gitcode.com/gh_mirrors/gh/ghostty-config Ghostty-config是一款美观直观的配置生成器,专为Ghostty终端设计,让自定义终端变得轻松简单。无需手动编辑文本文件,通过可视化界面即可调整设置、实时预览效果并导出配置文件。本文将带你全面了解如何使用这个强大工具打造个性化的终端体验。 快速开始:安装与基本设置 要开始使用Ghostty-config,首先需要克隆项目仓库: git clone https://gitcode.com/gh_mirrors/gh/ghostty-config 项目采用现代化的Svelte框架构建,主要配置逻辑集中在src/lib/data/settings.ts文件中。配置面板提供了丰富的设置选项,涵盖应用程序、剪贴板、窗口、颜色、字体、

湖南首条免费高速轨迹呈现:借助 Leaflet -Trackplayer 实现 WebGIS 可视化

湖南首条免费高速轨迹呈现:借助 Leaflet -Trackplayer 实现 WebGIS 可视化

目录 前言 一、相关背景 1、湖南首条免费高速-长永高速 2、还有哪些快到30年的高速 3、leaflet-trackplayer相关知识 二、基础数据准备 1、高速起止点地理编码 2、途径重要AOI和POI信息 3、高速区间道路信息 三、leaflet-trackplayer实战 1、行驶道路生成和设置 2、途径重要AOI和POI 3、车辆车牌信息模拟跟随 4、成果展示 四、总结 前言         在交通基础设施建设与数字化技术飞速发展的时代,湖南迎来了其首条免费高速公路的建成通车,这不仅是交通领域的一大突破,更是区域经济发展与民生改善的重要里程碑。然而,如何更好地展示这条高速公路的运行轨迹,为交通管理、规划以及公众出行提供直观,成为了我们亟待解决的问题。将WebGIS 技术与 Leaflet - Trackplayer 的结合,为我们提供了一种创新且高效的解决方案。WebGIS(Web 地理信息系统)