chiasmus推出面向Agent的形式验证可运行工具

chiasmus由开发者yogthos创建，仓库创建于2026年4月8日。项目以可运行工具的形式为Agent提供形式验证能力，归档认定其具有独立工程价值。这一方向使Agent的输出或计划可以通过机器可核查的方式校验。其覆盖的验证类型与接入方式未知。