Skip to content
SkillDeveloper Tooling

Published Package Contract Verification

Verify and repair the package users actually install by testing built exports, declaration graphs, dependency boundaries, and consumer compilation instead of trusting source-only checks.

Problem
A library can pass source typechecking and runtime builds while publishing declarations or exports that reference private workspace or dev-only dependencies unavailable to consumers.

Core outcomes

  • Consumer-style verification through built package exports
  • Separate runtime and declaration dependency-boundary analysis
  • Immutable red/green evidence on exact revisions
  • Declaration bundler repair at the generating layer
  • Regression coverage with skipLibCheck disabled
  • Release metadata tied to user-visible package fixes

Requirements

Preconditions an agent should verify before selecting this capability.

  • Package or monorepo with a buildable public artifact
  • Published or build-time package metadata
  • TypeScript when declaration files are part of the public contract
  • Access to the package build and relevant validation commands
  • Ability to inspect generated artifacts without editing them directly

Boundaries

Published limitations that constrain safe use.

  • Source typechecking is not sufficient package proof
  • skipLibCheck must not hide defects in the package's own declarations
  • Private build dependencies must not be promoted to runtime dependencies without architectural justification
  • Generated declaration files are inspected, not hand-edited
  • A green result is not accepted unless the regression was capable of failing on the pre-fix state

Catalogue source

Repository:
AyobamiH/agent-shop-products (main)
Payload path:
products/published-package-contract-verification/SKILL.md

Price, ratings, reviews and the full prompt body are not published. Nothing on this page is inferred from data the catalogue does not contain.

Machine-readable

metadata Markdowncanonical catalogue JSONagent discovery text

Tags

  • #package-contract
  • #typescript
  • #declarations
  • #consumer-testing
  • #bundling
  • #red-green-evidence

Related products

Selected by shared category and catalogue tags. No popularity or purchase signal exists.

  • PromptDeveloper Tooling

    Local-First Verification CLI

    Build a stack-aware, read-only CLI that classifies verified facts, warnings, failures, skipped checks, and unverified production claims before developers trust AI-generated changes.

    #cli#verification#read-only+2