contract testing skills

PramodDutta/qaskills

Skill Claude CodeCodex

Validate API responses against OpenAPI/Swagger specifications, JSON Schema definitions, and consumer-driven contracts to prevent breaking changes.

pactflow/pactflow-agent-skills

Skill Claude CodeCodex

Generate a structured onboarding backlog — in Jira, GitHub Issues/Projects, Azure DevOps, or as a manual markdown export — that drives a development team from zero to publishing both consumer and provider contract tests. Use when the user invokes /contract-testing-flywheel or asks to "kick off contract testing for a…

pactflow/pactflow-agent-skills

Skill Claude CodeCodex

Verifies API implementations against OpenAPI specifications using the Drift CLI, catching spec drift and supporting Bi-Directional Contract Testing (BDCT). Use when the user mentions Drift, API contract testing, provider contract testing, provider verification, spec drift, API conformance testing, OpenAPI…

pactflow/pactflow-agent-skills

Skill Claude CodeCodex

Expert assistant for PactFlow and Pact contract testing. Use this skill whenever the user mentions PactFlow, Pact, contract testing, consumer-driven contracts, provider verification, can-i-deploy, pact broker, pacticipants, bi-directional contract testing (BDCT), publishing pacts, recording deployments, provider…

kotaroyamame/formal-agent-contracts

Skill Claude CodeCodex

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

Refine a provisional VDM-SL specification through dialogue with the user, uncovering the true specification that exists in the user's mind. The provisional spec (from extract-spec) serves as a scaffold for questions. Triggered by: "refine the spec", "review the provisional spec"…

kotaroyamame/formal-agent-contracts

Skill Claude CodeCodex

A checker for VDM-SL, a formal language used to describe software designs precisely. It checks the file’s grammar and types, reviews related design documents, and creates proof obligations—conditions that still need to be proven.