一款通过AI进行公式识别、分析与管理工具。一键转为可编辑的 LaTeX，并分析变量含义与核查潜在错误。 解决痛点解决“公式图片难以快速准确转LaTeX”“识别后缺少校验与整理”“公式中不认识的变量需要繁琐查询”的问题。 主要技术Tauri + Rust（截图、系统集成）/ SvelteKit + TypeScript（前端）。 核心功能三阶段公式识别LaTeX 提取 → 智能分析（标题/摘要/变量/术语/建议）→ 核查与置信度。 适用场景科研写作与论文公式录入、教材与讲义排版、课堂/会议拍照后快速转录、学习笔记整理、技术博客与知识库维护......

更新时间：2025年8月19日