合约式设计

软件工程方法论，通过为每个模块或接口定义前置条件和后置条件来规范系统行为，可在AI智能体工具调用时自动拦截违规操作