numina-lean-agent - Lean 4 定理证明工具包
lean4 定理证明形式化验证
★ 273 · 更新于 2026-09-09
Lean 4 定理证明工具包，用于搜索引理、验证证明、修复代码及生成非形式化证明。
⚙ 搜索引理 ⚙ 验证证明 ⚙ 反驳命题
multi-agent-integration - 将 Claude 智能体集成到交易系统
多智能体交易 Claude AI 智能体
★ 602 · 更新于 2026-06-15
将 Claude 智能体集成到训练和实时交易中
⚙ 评估交易信号 ⚙ 检查风险门控 ⚙ 推荐仓位大小