formal-agent-contracts

Claude Code plugin for formal agent contracts — define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and auto…

kotaroyamame 1 MIT updated 21d ago

Claude Code

View source ↗

Claude Code plugin for formal agent contracts — define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and auto-generate contract tests for spec-driven multi-agent development

Contains

1 plugin.

Install

/plugin marketplace add kotaroyamame/formal-agent-contracts

Then browse and install with /plugin install.

Source

Repository: https://github.com/kotaroyamame/formal-agent-contracts

Maintain formal-agent-contracts?

Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.

[formal-agent-contracts on getagentictools](https://getagentictools.com/plugins/kotaroyamame-formal-agent-contracts?ref=badge)

Contains

Install

Source

Maintain formal-agent-contracts?

Related plugins