mkzmbd4

这是一个基于大语言模型的Solidity智能合约安全审计增强工具，将静态分析工具Slither的原始结果转化为可解释、可操作的安全报告。核心功能包括四角色链式推理流程（解释员、攻击模拟器、修复建议生成器、质量判官），支持对每个漏洞提供技术原理、最小化PoC、统一补丁diff及质量评分；兼容OpenAI及各类兼容API的LLM后端，支持本地部署与CI集成。适用于区块链安全工程师、智能合约开发者及审计团队在代码审查、安全测试和自动化审计流水线中使用。