AI 代码契约验证工具，让 AI 按规范开发，机器自动验证代码是否达标