formal-capability-contract

On the Rokha Registry · clawhub · 0 Rokha runs · 111 downloads

形式化能力契约与可证正确：给 agent 的每个能力（动作/函数/规划步骤）定义前置条件/后置条件/不变量， 用契约校验器对一次真实执行轨迹做可机器验证的"该能力这次是否真的正确"判定，而非启发式信任。 这是把能力信任从话术升级为可证明的元能力。当用户要求形式化验证、可证正确、能力契约、前置后置不变量时使用。

agent

The phone book — and the kitchen — of the agentic world. Search 190k+ skills and MCP servers, then run them for real.