{
  "schemaVersion": "plugins-directory/1.0.0",
  "snapshotId": "plugins-2026-09-12.p6",
  "localBriefFormat": "gptsapp-plugin-decision-brief/1.0.0",
  "plugin": {
    "id": "gpa:plugin:66a27da98e6a26e02c35519ea6ac569d837f44ba6172f61962cced768177f38f",
    "key": "p5-trailofbits-property-based-testing",
    "name": "Property Based Testing",
    "ecosystem": "claude-code",
    "packageRole": null,
    "deliveryNote": "Claude-format distribution. The publisher describes Codex marketplace compatibility, not a separate native Codex package. Other interfaces and component activation remain unverified.",
    "sourceIssues": [],
    "sourceOwner": "trailofbits",
    "declaredAuthor": "Henrik Brodin (manifest declaration)",
    "canonical": "https://plugins.gptsapp.io/plugins/claude-code/trailofbits/property-based-testing",
    "repository": "https://github.com/trailofbits/skills",
    "packageRoot": "plugins/property-based-testing",
    "installation": {
      "url": "https://github.com/trailofbits/skills",
      "label": "Maintainer installation",
      "note": "Independent maintainer marketplace: trailofbits. Entry: property-based-testing. Exact package root: plugins/property-based-testing. Review publisher instructions and Claude host requirements; no installation is performed here.",
      "observationOnly": true
    },
    "purpose": "Design tests around invariants and input domains, and distinguish them from UI or binary fuzz testing.",
    "tasks": [
      "software-verification"
    ],
    "documentedTargets": [
      {
        "id": "claude-code",
        "label": "Claude Code"
      }
    ],
    "version": "1.2.0",
    "revision": "d3323cefbcf645678b8dc481de204b02ad3d02dc",
    "observedAt": "2026-09-08T13:38:56.080Z",
    "componentDeclarations": [
      {
        "kind": "skill",
        "label": "Individually observed packaged Skill",
        "members": [
          "property-based-testing"
        ],
        "scope": "Exact file read at d3323cefbcf645678b8dc481de204b02ad3d02dc; a partial sample, not a complete inventory or activation test.",
        "inventoryBasis": "exact-file-read",
        "inventoryComplete": false,
        "memberSources": [
          {
            "name": "property-based-testing",
            "url": "https://raw.githubusercontent.com/trailofbits/skills/d3323cefbcf645678b8dc481de204b02ad3d02dc/plugins/property-based-testing/skills/property-based-testing/SKILL.md"
          }
        ]
      }
    ],
    "requirements": [
      {
        "key": "testing-framework",
        "label": "Select a property-testing library and language appropriate to the project; availability is not checked here.",
        "necessity": "unknown",
        "tasks": [
          "software-verification"
        ],
        "source": 5
      }
    ],
    "access": "Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.",
    "sourceUrls": [
      "https://raw.githubusercontent.com/trailofbits/skills/d3323cefbcf645678b8dc481de204b02ad3d02dc/.claude-plugin/marketplace.json",
      "https://raw.githubusercontent.com/trailofbits/skills/d3323cefbcf645678b8dc481de204b02ad3d02dc/plugins/property-based-testing/.claude-plugin/plugin.json",
      "https://github.com/trailofbits/skills/tree/d3323cefbcf645678b8dc481de204b02ad3d02dc/plugins/property-based-testing",
      "https://raw.githubusercontent.com/trailofbits/skills/d3323cefbcf645678b8dc481de204b02ad3d02dc/README.md",
      "https://raw.githubusercontent.com/trailofbits/skills/d3323cefbcf645678b8dc481de204b02ad3d02dc/LICENSE",
      "https://raw.githubusercontent.com/trailofbits/skills/d3323cefbcf645678b8dc481de204b02ad3d02dc/plugins/property-based-testing/skills/property-based-testing/SKILL.md"
    ],
    "licenseDeclaration": "Root README declares CC-BY-SA-4.0. This is not a manifest license or file-level clearance; only original reference metadata is retained here.",
    "coverage": "partial",
    "qualification": "manifest-inspected",
    "channel": {
      "curator": "Trail of Bits",
      "name": "trailofbits",
      "authority": "independent-maintainer-marketplace",
      "indexUrl": "https://raw.githubusercontent.com/trailofbits/skills/d3323cefbcf645678b8dc481de204b02ad3d02dc/.claude-plugin/marketplace.json",
      "indexRevision": "d3323cefbcf645678b8dc481de204b02ad3d02dc",
      "observedAt": "2026-09-08T13:38:52.299Z",
      "packagePins": [
        "d3323cefbcf645678b8dc481de204b02ad3d02dc"
      ],
      "revisionState": "source-pinned"
    },
    "distributions": [
      {
        "entry": "property-based-testing",
        "marketplace": "trailofbits",
        "indexUrl": "https://raw.githubusercontent.com/trailofbits/skills/d3323cefbcf645678b8dc481de204b02ad3d02dc/.claude-plugin/marketplace.json",
        "indexRevision": "d3323cefbcf645678b8dc481de204b02ad3d02dc",
        "packageRevision": "d3323cefbcf645678b8dc481de204b02ad3d02dc",
        "resolvedSourceRevision": "d3323cefbcf645678b8dc481de204b02ad3d02dc",
        "packagePath": "plugins/property-based-testing",
        "evidence": "manifest-and-index-observed"
      }
    ],
    "manifestObservation": {
      "sourceUrl": "https://raw.githubusercontent.com/trailofbits/skills/d3323cefbcf645678b8dc481de204b02ad3d02dc/plugins/property-based-testing/.claude-plugin/plugin.json",
      "revision": "d3323cefbcf645678b8dc481de204b02ad3d02dc",
      "observedAt": "2026-09-08T13:38:56.080Z",
      "version": "1.2.0",
      "declaredAuthor": "Henrik Brodin",
      "componentPathsOnly": true
    },
    "componentObservationScope": "d3323cefbcf645678b8dc481de204b02ad3d02dc",
    "evidence": "Source metadata only; no install, connection, authorization or task execution observed."
  }
}