我在做的代码项目，分为学术形式化和通用软件两类。每个项目都链接到对应的 GitHub 仓库。
Lean 4 · GitHub ↗
用 Lean 4 对二次数域进行形式化。
Rust · GitHub ↗
查询 LMFDB（L-函数与模形式数据库）的命令行工具。
面向开放网络快速信息流的 AI 原生、Web3 友好的 RSS 阅读器。
Shell · GitHub ↗
面向 AI 编程助手的一组可复用 agent skills。