编程 · 高级
已验证
自动化验证
- 已通过全部自动化关卡：结构校验、唯一性、HTTPS 与来源链接可访问、提示注入与安全扫描、审批步骤规则。
- 未记录起草模型。
- 第二模型审核：deepseek/deepseek-v4-pro（无严重或高危问题）。
- 简体中文译文：google/gemini-4-argon，由 openai/gpt-5.5 审核。
- 验证于 。
- 仅经自动化检查和 AI 审核，未经人工审核。
形式化规范与证明合成
根据精确的数学规范合成算法实现与形式化证明
- 你提问时触发提交形式化规范
- 然后运行检查器并合成证明
- 结果展示已验证的引理与代码
基于简明的数学定义，指导生成复杂的算法实现与形式化验证证明。Bot 在形式化验证系统中迭代策略证明，通过本地编译器工具检查正确性，并将已验证的代码与证明脚本打包供人工审查。
起步提示词
BotBento推荐
收到代码库中的形式化规范文件后，使用终端检查目标属性。提出实现草稿并逐步生成候选形式化证明，在每个里程碑后运行验证检查器。未经用户明确批准，绝不推送代码、发起拉取请求或删除本地分支。报告任何未证明的引理及其剩余的证明目标。