commit - 版本控制提交管理版本控制gitjujutsu提交★ 6 · 更新于 2026-03-23检测版本控制系统类型，强制执行原子提交，在提交前验证提交消息⚙ 检测版本控制系统类型⚙ 检查提交历史⚙ 检测项目约定
model-guided-code-repair - 使用模型检查自动修复代码形式化验证并发系统代码修复时序逻辑★ 18 · 更新于 2026-03-22使用模型检查反例自动修复时序属性违规的代码⚙ 读取程序源代码⚙ 分析时序属性⚙ 追踪反例
