pactflow/pactflow-agent-skills
Plugin Claude Code
Plugin marketplace listing 2 plugins: swagger-contract-testing, contract-testing-flywheel.
6 8d ago A
tokens not measured
original MIT
pactflow/pactflow-agent-skills
Plugin Claude Code
Generates a structured onboarding backlog that takes a team from zero to publishing verified consumer and provider contract tests on PactFlow — in Jira, GitHub Issues/Projects, or Azure DevOps, or as a manual markdown export. Modelled on the Contract Testing Flywheel: Planning → Requirements → Design → Implementation…
6 8d ago A
tokens not measured
original MIT
pactflow/pactflow-agent-skills
Plugin Claude Code
Expert assistant for PactFlow and Pact contract testing — consumer-driven contracts, provider verification, can-i-deploy, BDCT, Drift CLI, and OpenAPI spec parsing. Includes specialized agents for reviewing and generating pact tests.
6 8d ago A
tokens not measured
original MIT
kotaroyamame/formal-agent-contracts
Plugin Claude Code
Plugin marketplace listing 1 plugin: formal-agent-contracts.
1 2mo ago A
tokens not measured
original MIT
kotaroyamame/formal-agent-contracts
Plugin Claude Code
Formal methods toolkit for multi-agent development: define agent contracts in VDM-SL, generate Phase 2 design documents (PROTOCOL.md, API-SIGNATURES.md), verify specifications, auto-prove with Z3, derive database schemas (DDL) with deviation tracking and invariant traceability, generate code scaffolds with runtime…
1 2mo ago A
tokens not measured
copy · 92% MIT