博客
订阅：有新文章发布时，你会收到邮件通知。
Rethlas-OSV：为数学家打造的桌面数学智能体
一款处于测试阶段的 macOS 桌面应用，可通过图形界面使用 Rethlas 和 OSVerify 数学智能体。
Rethlas 进阶指南：如何手动运行 Rethlas
一份实践指南：准备问题与参考资料、手动运行 Rethlas，并分析其推理轨迹。
面向数学家的终端基础与智能体工作流指南
面向初学者，介绍终端命令、tmux、Git、Overleaf 集成以及 AI 辅助的数学写作
Rethlas 使用指南：如何借助 AI 运行 Rethlas（无需计算机科学背景）
一份借助 AI 编程智能体配置、运行和监控 Rethlas 的分步指南——无需计算机科学背景。