formal-agent-contracts

Listed

Multi-agent formal methods toolkit - define agent contracts in VDM-SL, verify with VDMJ

plugin 1 stars 0 forks Updated 2 months ago

Install

Plugins install via a marketplace, in two steps.

Step 1

Step 2

View on GitHub

Bundles

Everything this plugin ships — skills, agents, commands, hooks, and MCP servers it bundles.

Skills (2)

DevOps & Infrastructure Listed

reconcile-code

Reconcile existing code with the confirmed VDM-SL specification. Compare spec vs code item-by-item, generate a diff report, produce code fixes prioritized by Finding category, and auto-generate tests. Triggered by: "reconcile code with spec", "fix code to match spec", 「仕様とコードを照合して」「コードを仕様に合わせて」「差分を出して」「コードを直して」

1 Updated 2 months ago

kotaroyamame

Data & Documents Listed

smt-verify

Convert VDM-SL proof obligations (POs) to SMT-LIB and verify them with the Z3 solver. Triggered by "prove POs", "verify with SMT", "check with Z3", "auto-verify proof obligations", "prove the spec is correct", or "find counterexamples". Also responds to Japanese: 「POを証明して」「SMTで検証して」「Z3で確認して」等。 Used as the next step after PO generation with verify-spec, or for end-to-end PO generation + SMT verification.

1 Updated 2 months ago

kotaroyamame

Quality Score: 38/100

Stars 20%

Recency 20%

Manifest 20%

Documentation 15%

Issue Health 10%

License 10%

Description 5%

100

Details

Author: kotaroyamame
Repository: kotaroyamame/formal-agent-contracts
Created: 2 months ago
Last Updated: 2 months ago
Language: TypeScript
License: None

Listed in marketplaces

formal-agent-contracts