lean-formal-feedback-loop - Lean形式化证明反馈循环
运行Lean-Rust证明反馈循环以查找运行时错误
标签
更新于: 2026-05-28能力
典型输入
典型输出
该技能可以做什么
- 运行证明循环
- 查找运行时错误
- 证明定理
- 排查阻碍
- 检查一致性
- 挖掘历史信号
- 提取测试见证
- 生成工件记录
输入
- 缺陷风险计划
- 不变量定理链接
- cass历史信号
输出
- 测试见证
- 工件记录
- 更新队列
要求
- Lean证明环境
- cass历史挖掘工具
- 项目目录
运行Lean-Rust证明反馈循环以查找运行时错误
标签
更新于: 2026-05-28能力
典型输入
典型输出