GPTsApp PluginsCodex Reset
Menu
Codex Reset

Hosted preview

WORKFLOW PACKAGES · FREE DISCOVERY

Test and verify code

Choose property, mutation, specification or proof workflows without confusing them with a completed test.

10 packages

Test and verify code · Page 1 of 1

Coverage & limits
Claude Codev0.2.4 · manifest

Constant Time Analysis

Review cryptographic timing assumptions and compiler-sensitive implementation behavior.

Source: trailofbits/skills
plugins/constant-time-analysis · Independent maintainer marketplace

Includes Composition not yet established — not zero components

Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.

View plugin
Matches this task · Manifest fields inspected · Not a runtime test
Claude Codev3.0.1 · manifest

Dimensional Analysis

Check units and scaling assumptions in formulas and code annotations.

Source: trailofbits/skills
plugins/dimensional-analysis · Independent maintainer marketplace

Includes Composition not yet established — not zero components

Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.

View plugin
Matches this task · Manifest fields inspected · Not a runtime test
Claude Codev1.0.3 · manifest

Mutation Testing

Plan mutation-testing targets, timeouts and campaign scope; runners are not installed here.

Source: trailofbits/skills
plugins/mutation-testing · Independent maintainer marketplace

Includes Composition not yet established — not zero components

Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.

View plugin
Matches this task · Manifest fields inspected · Not a runtime test
Claude Codev1.2.0 · manifest

Property Based Testing

Design tests around invariants and input domains, and distinguish them from UI or binary fuzz testing.

Source: trailofbits/skills
plugins/property-based-testing · Independent maintainer marketplace

Includes 1+ sampled skill

Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.

View plugin
Matches this task · Manifest fields inspected · Not a runtime test
Claude Codev1.2.4 · manifest

Semgrep Rule Creator

Draft and test Semgrep detection rules for a stated code pattern.

Source: trailofbits/skills
plugins/semgrep-rule-creator · Independent maintainer marketplace

Includes Composition not yet established — not zero components

Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.

View plugin
Matches this task · Manifest fields inspected · Not a runtime test
Claude Codev1.1.1 · manifest

Semgrep Rule Variant Creator

Assess how a detection rule should change for another programming language.

Source: trailofbits/skills
plugins/semgrep-rule-variant-creator · Independent maintainer marketplace

Includes Composition not yet established — not zero components

Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.

View plugin
Matches this task · Manifest fields inspected · Not a runtime test
Claude Codev2.0.0 · manifest

Spec To Code Compliance

Compare a stated specification with implementation evidence and track disagreements.

Source: trailofbits/skills
plugins/spec-to-code-compliance · Independent maintainer marketplace

Includes Composition not yet established — not zero components

Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.

View plugin
Matches this task · Manifest fields inspected · Not a runtime test
Claude Codev1.2.0 · manifest

Testing Handbook Skills

Explore application-testing handbook workflows; the full bundled inventory has not been enumerated.

Source: trailofbits/skills
plugins/testing-handbook-skills · Independent maintainer marketplace

Includes Composition not yet established — not zero components

Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.

View plugin
Matches this task · Manifest fields inspected · Not a runtime test
Claude Codev0.1.0 · manifest

Writing Lean Proofs

Find Lean proof-authoring and library-structure guidance for a formal verification task.

Source: trailofbits/skills
plugins/writing-lean-proofs · Independent maintainer marketplace

Includes Composition not yet established — not zero components

Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.

View plugin
Matches this task · Manifest fields inspected · Not a runtime test
Claude Codev0.3.1 · manifest

Zeroize Audit

Review whether sensitive-data clearing survives compilation in the relevant code path.

Source: trailofbits/skills
plugins/zeroize-audit · Independent maintainer marketplace

Includes Composition not yet established — not zero components

Manifest observed; full component inventory, installed tools, provider access and task permissions remain unverified.

View plugin
Matches this task · Manifest fields inspected · Not a runtime test
Compare packages for the same taskSelect 2–4 candidates. No winner or score.
A directory you can inspect.

Snapshot assembled 2026-09-12; each package retains its actual observation date. Component lists can be partial; account access and task success remain unknown until you verify them in your own environment.