基于AI的公式OCR识别、分析和管理软件

一款通过AI进行公式识别、分析与管理工具。一键转为可编辑的 LaTeX，并分析变量含义与核查潜在错误。

解决痛点：解决“公式图片难以快速准确转 LaTeX”“识别后缺少校验与整理”“公式中不认识的变量需要繁琐查询”的问题。

主要技术：Tauri + Rust(截图、系统集成)/ SvelteKit + TypeScript(前端)。

核心功能：三阶段公式识别：LaTeX 提取 → 智能分析(标题/摘要/变量/术语/建议)→ 核查与置信度。

适用场景：科研写作与论文公式录入、教材与讲义排版、课堂/会议拍照后快速转录、学习笔记整理、技术博客与知识库维护。

使用流程：

1) 初次打开应用 → 进入“设置”页

填写 API Key，点击“测试”确保连通。

若提示词被清空或修改过，可一键“恢复默认提示词”。

可按需调整：语言(中/英)、截图快捷键、公式渲染引擎(MathJax/KaTeX)与默认 LaTeX 包裹格式。

2) 开始识别

截图识别：点击“截图识别”或使用快捷键 Ctrl + Shift + A 拉框，松开即可开始处理。

导入图片：点击“导入图片”，选择待识别的 PNG/JPG/JPEG 文件。

3) 查看与编辑

进度指示：依次显示 LaTeX → 分析 → 核查(可对任一阶段“重试”)。

基础页：预览公式、复制或编辑 LaTeX、展开原图对照。

分析页：查看摘要、变量(含符号/单位)、术语、建议，以及核查报告与置信度。

4) 历史与收藏

识别结果会自动入库。

在“历史记录/收藏夹”中可搜索、排序、查看详情(抽屉式)，支持收藏与删除。

一次识别调用三次LLM：

第1次(LaTeX 提取)：仅从图片提取 LaTeX 文本。

第2次(智能分析)：与第一次并发。基于图片生成标题、简介、变量表、术语表与建议。

第3次(核查与置信度)：在第一次调用返回LaTeX后开始。对比“提取到的 LaTeX + 原图”，产出状态(ok/warning/error)、问题列表、覆盖率与 0–100 的置信度。

建议的模型选择与耗时：

Gemini-2.5-flash：综合准确率与速度较优。常见公式约 10s 左右，复杂场景约 20s。

Gemini-2.5-flash-lite：用于轻量场景，在复杂公式上准确性略差。

Gemini-2.5-pro：准确率接近100%，但复杂公式速度很慢。

GitHub地址：https://github.com/Ryson-32/AI-Formula-Scanner