项目预览
项目数据
分类智能体
开发团队lotchuazzz-crypto
所属国家
定价模式free
价格说明开源项目,免费使用
访问状态
是否开源是
开源协议MIT
主要语言Python
技术栈/模型ai-agents,arxiv,knowledge-graph,latex,mathematics,mcp,model-context-protocol,python,research-tools,skills
GitHub 星标★ 285
30天Star增速
HF 下载量
上线时间2026-09-02 00:00:00
代码更新—
仓库体积—
本站数据更新—
维护状态活跃
中文支持
访问方式
移动端支持
综合评分
收录时间2026-10-18
浏览次数0
项目介绍
Star 增长趋势
本站每日记录该项目 GitHub 星标变化,观测越久曲线越完整
正在加载星标数据…
技术标签
使用教程
—
核心亮点
- 基于 LaTeX 源解析抽取定理/引理/定义,结果节点可回溯到原文位置
- 证明证据链追踪,能区分论文内自证与外部依赖,减少智能体臆造
- 以 MCP 标准工具暴露能力,可直接接入 Claude 等支持 MCP 的智能体
不足之处
- 强依赖 LaTeX 源文件质量,扫描版或非标准排版论文效果受限
- 项目较早期,覆盖的数学领域与论文规模验证范围有限
适用场景
- 研究型智能体精读数学论文并生成可核查的证明摘要
- 研究生按依赖关系规划一组相关论文的阅读顺序
- 论文审稿辅助:快速定位结论的外部依赖与未证明假设
替代项目
arxiv-mcp-server、marker
上一篇:bdpan-storage
下一篇:Arcgentic
同类项目推荐
xinchao-dynamic-mind
开源
给 AI 装上疲惫和欲望,让交互更真实
独立、可自托管的 AI 动态心智状态引擎:驱动力、念头池、疲惫、睡眠与意图。
geo-sleuth
开源
给 AI 装上地理侦探技能,一张照片顺藤摸瓜找到拍摄地
An agent skill that finds where a photo was taken — OpenStreetMap geometry, elevati···
goutoujunshi
开源
先哄情绪再出招,恋爱难题给可执行方案
一个先接住情绪、再分析关系并给出可执行策略的 Codex 恋爱军师,内置心理、法律、社会、人···
deepseek-harness
开源
把 AI 能力拆成乐高积木,拼出你的专属智能体。
DeepSeek Harness: Everything is a Plugin.
