框选屏幕上的数学公式,获得可编辑的 LaTeX 与 MathML。
FormulaSnip 是面向 Windows 论文写作场景的公式截图识别工具。点击悬浮球框选公式,本地识别后即可校对电子公式,并复制到 Word、MathType、LaTeX 编辑器或其他支持 MathML 的软件中。
项目专注于单个数学公式,不处理整页文档、正文、表格或通用 OCR。
| 能力 | 说明 |
|---|---|
| 本地公式识别 | 使用 MathCraft OCR 的 CPU 推理路径,默认不上传截图,无需独立显卡 |
| 电子公式校对 | 使用离线 MathJax 生成电子公式预览,可在复制前检查并编辑 LaTeX 结果 |
| 论文写作输出 | 一键复制 LaTeX 或 MathML,适配 Word 与 MathType 工作流 |
| 悬浮球与系统托盘 | 截图、恢复悬浮球、打开设置、检查更新和退出均可快速完成 |
| 个性化外观 | 支持深色与浅色主题、圆环颜色和自定义悬浮球 Logo |
| 可选 AI 辅助 | 接入 OpenAI 兼容视觉接口,与本地引擎并行识别并切换对照 |
- 前往 Releases:安装版运行下载的 Setup 安装包,便携版解压 ZIP 后运行
FormulaSnip.exe。 - 启动软件,点击“开始识别”,设置面板会收起并显示悬浮球。
- 左键点击悬浮球,框选屏幕上的公式区域。
- 在电子公式预览中校对结果,然后复制 LaTeX 或 MathML。
右键悬浮球可以打开设置或退出软件;截图时按 Esc 可以取消。复制任一格式后,结果面板会自动收起,方便立即粘贴。
| 粘贴目标 | 建议格式 |
|---|---|
| Word、MathType | 复制 MathML,在目标软件的公式编辑区域粘贴 |
| LaTeX 编辑器、Markdown | 复制 LaTeX,在公式环境中粘贴 |
| 文件 | 适用场景 |
|---|---|
FormulaSnip-v*-windows-x64-setup.exe |
推荐。提供安装向导、快捷方式和卸载入口 |
FormulaSnip-v*-windows-x64.zip |
便携使用。解压后运行 FormulaSnip.exe |
- 系统要求:Windows 10/11,x64。
- 安装版与便携版已内置 MathCraft 公式模型,安装完成后可以直接离线识别。
- 当前安装包尚未进行代码签名,Windows SmartScreen 可能显示风险提示,请仅从本仓库下载。
自动检查更新默认开启,启动和后台检查遵循 12 小时节流,可在“设置中心 → 应用与引擎 → 自动检查更新”关闭;手动检查仍立即联网。更新请求不上传截图、LaTeX 或 API Key。安装版可在确认后下载、校验并安装新版本,便携版和源码版打开 Release 页面供用户手动更新。
源码模式或内置模型损坏时,MathCraft 可能使用缓存或回退联网下载。卸载保留用户设置、凭据、日志及缓存;删除 Key 和保留位置见 隐私说明。更新尚无独立签名信任链,安全报告与发布限制见 SECURITY.md。
AI 辅助识别与隐私
- AI 辅助默认关闭,由用户自行配置 OpenAI 兼容 API 地址、API Key 和模型。
- 启用后,本地 MathCraft 与远程视觉模型独立并行识别;内容一致时采用 AI 的紧凑排版,真正不一致时可以切换对照。
- 远程服务只会收到本次框选的公式图片,不会收到本地识别结果。
- API Key 保存在 Windows 凭据管理器,不写入普通应用设置。
- 远程调用可能产生费用,图片处理规则和数据保留政策取决于所配置的服务提供商。
- AI 请求失败时,FormulaSnip 会保留本地识别结果。
- 公式 OCR 无法保证完全正确,请在粘贴前对照原图校对。
- 复杂公式、低分辨率截图、模糊字符和紧密上下标更容易产生识别误差。
需要 Python 3.10 至 3.12 和 uv:
git clone https://github.com/loLollipop/FormulaSnip.git
cd FormulaSnip
uv sync --extra dev
uv run python -m formulasnip运行检查:
uv run pytest -q
uv run ruff check .构建 Windows 便携包和安装包需要 Inno Setup 6:
.\scripts\build_windows.ps1首次发行构建会下载并校验固定版本的 MathCraft 公式模型;后续构建会复用通过完整性校验的构建缓存。
欢迎通过 Issues 报告识别样例、交互问题或安装故障,也欢迎提交 Pull Request。反馈识别问题时,请附上原始公式截图和预期 LaTeX,避免包含隐私信息。
- MathCraft OCR 提供本地公式识别能力。
- PySide6 提供 Windows 桌面界面支持。
- latex2mathml 用于生成 MathML 输出。
FormulaSnip 采用 GPL-3.0-only 协议开源。第三方依赖和模型遵循各自的许可证,详见 THIRD_PARTY_NOTICES.md。



