Numina Fuse：在 Lean 4 中实现交互式自动形式化

Numina Fuse 是一个面向 Lean 4 数学形式化的智能体原生应用，围绕人类监督智能体工作来设计，用户通过蓝图、依赖图和 Lean 代码视图监督 AI 编排器，后端保存项目派生状态并支持智能体在无人值守下运行数小时。