semi-formal-reasoning
semi-formal-reasoning
📖 简介
Structured 代码 verification, fault localization, and semantic analysis — 智能体技能 based on the Agentic 代码 Reasoning paper
查看英文原版
Structured code verification, fault localization, and semantic analysis — agent skill based on the Agentic Code Reasoning paper
📥 安装此技能
ai-agent install semi-formal-reasoning
📖 其他安装方式
方法 2：从 GitHub 克隆
git clone https://github.com/knot0-com/semi-formal-reasoningcd semi-formal-reasoningai-agent link .
方法 3：手动安装
# 下载技能后复制到技能目录 cp -r semi-formal-reasoning ~/.ai-agent/skills/
💡 提示： 技能将安装到你的本地 目录，不会存储在我们的服务器上。