今日开源 · 2026-10-13

精选 4 个 GitHub 项目：

1. openai/math

⭐ 1,423 · GitHub 链接

OpenAI 开源的 Lean 数学证明库，支持自动证明搜索和验证。

2. storytold/wordcraft

⭐ 7,012 · GitHub 链接

Rust 重写的 Word 处理器，主打"clean-room"叙事。

3. wheresryan22/anatomy

⭐ 4,128 · GitHub 链接

Skill 形态解剖学教学工具，给说明文字就能出图。

4. morluto/rea

⭐ 124,000 · GitHub 链接

Reverse Engineer Anything：让 AI agent 反向工程任何代码。爆火项目。