15 tagged design-by-contract, measured the same way as everything else here.
Browse within: contract-testing 15formal-methods 15
kotaroyamame/formal-agent-contracts
Skill Claude CodeCodex
Part of formal-agent-contracts
A formal way to define how software agents share responsibilities, data, and messages. It uses VDM-SL, a precise language for describing rules and data, and can produce protocol and API design documents.
kotaroyamame/formal-agent-contracts
Skill Claude CodeCodex
Part of formal-agent-contracts
A test-generation skill that turns VDM-SL specifications and protocol documents into Jest- or Vitest-compatible contract tests. VDM-SL is a formal language for describing software rules; contract tests check that code follows those rules.
kotaroyamame/formal-agent-contracts
Skill Claude CodeCodex
Part of formal-agent-contracts
A comparison and repair workflow for checking existing code against a confirmed VDM-SL specification. VDM-SL is a formal language for describing software behaviour and data precisely.
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: