40 tagged contracts, measured the same way as everything else here.
Browse within: business-logic 10capabilities 10event-driven 10legal operations 6legal-agents 6legal-research 6legal-workflows 6legaltech 6open-source-law 6
Skill Claude CodeCodex
Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera files). Vera is a statically typed, purely functional language with algebraic effects, mandatory contracts, and typed slot references (@T.n) instead of variable names.
Skill Claude CodeCodex
Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera files). Vera is a statically typed, purely functional language with algebraic effects, mandatory contracts, and typed slot references (@T.n) instead of variable names.
Skill Claude CodeCodex
Perform a non-destructive cross-artifact consistency and quality analysis across spec.md, plan.md, and tasks.md after task generation.
Skill Claude CodeCodex
Create or update the project constitution from interactive or provided principle inputs, ensuring all dependent templates stay in sync.
Skill Claude CodeCodex
Start or resume the standard Traverse operating model when the user says TRAVERSE OPS, asks to start Traverse ops/dev work, asks for the ready-ticket worker, PR finisher, or backlog gardener, or wants Codex to pick ready Project 1 work and run the Traverse coordination process.
Skill Claude CodeCodex
Writes, validates, and deploys L4 — a typed functional language for computational law — encoding contracts, regulations, and policy logic as executable rules with type-checked decisions and formally-modeled obligations. Use when the user asks to formalise legal text, draft rules with deadlines and reparations, mark…
Skill Claude CodeCodex
Spec-driven development with executable contracts.
Skill Claude CodeCodex
Selects the correct Specflow loop and forces a concrete run contract before work starts. Use when an agent is asked to start Specflow work, build a ticket, create/refine a PRD, investigate an existing product, run Gate D, choose between spec-build and feature-build, or "go find out about" Specflow loops. Compatible…
Skill Claude CodeCodex
Simulates end-to-end usage of a Specflow story across multiple personas and divergent routes to discover gaps, edge cases, and unhandled branches BEFORE the story is built — then proposes each finding as a concrete story addition (new REQ, negative-path AC, Gherkin branch, or journey step). This is the high-value…
zubair-trabzada/ai-recruiter-claude
Skill Claude CodeCodex
Offer Letter Generator — standard offer letter template (start date, comp, equity, benefits, contingencies) plus verbal offer script for the recruiter to use.
Skill Claude CodeCodex
Use when reviewing a general commercial contract — such as a master services agreement, vendor agreement, supplier contract, or professional services agreement — to produce a structured risk assessment and prioritized issue list for attorney review.
Skill Claude CodeCodex
Use when reviewing a non-disclosure or confidentiality agreement to produce a triage rating (route, flag, or stop), a structured risk summary, and prioritized redline points for attorney review.
Skill Claude CodeCodex
Search 11,000+ active government contracts from CanadaBuys and SAM.gov via ONE-1 x402 API.