Skill Claude CodeCodex
Security audit of Solidity code while you develop. Trigger on "audit", "check this contract", "review for security". Modes - default (full repo) or a specific filename.
Skill Claude CodeCodex
Rewrite AI-assisted or generic text into a plain human register while keeping every fact, number, commitment, caveat, link, and intended meaning fixed. Use for messages, documents, announcements, and public repository prose after diagnostic wording checks.
Skill Claude CodeCodex
Generates an x-ray.md pre-audit report covering overview, enhanced threat model (protocol-type profiling, git-weighted attack surfaces, temporal risk analysis, composability dependency mapping), invariants, integrations, docs quality, test analysis, and developer/git history. Triggers on 'x-ray', 'audit readiness'…
Skill Claude CodeCodex
Check whether an on-chain computation and its off-chain reimplementation agree, integer for integer, over declared vectors. Use when a TypeScript SDK or a Python job re-derives a balance, an accrued interest figure, a rate or a withdrawal amount that a contract also computes, when a rounding direction, ray or wad…
Skill Claude CodeCodex
Emit and verify an evidence-backed reading boundary over a repository. Classify token sinks (generated files, vendored trees, lockfiles, minified bundles, single-line blobs), write the deterministic boundary agents consult before reading, and print Python skeleton maps for oriented reading. Use when a user names Horos…
Skill Claude CodeCodex
Check a contract hook at the threshold it controls: what it may observe and change before a host action, what it may change after, and what it must never touch. Use when someone has a host protocol that calls hooks and wants to state and enforce the permitted effects, when reviewing a new hook against a host's…
Skill Claude CodeCodex
Capture, verify and replay the finite part of historical Ethereum state and exact JSON-RPC evidence required by an application test. Use when an archive endpoint or old protocol may disappear and the user needs a deterministic, proof-checked fixture with a fail-closed local replay boundary. Never use it to describe…
Skill Claude CodeCodex
Turn Solidity solc standard JSON inputs or Markdown document trees into validated JSONL chunks with source locations and separate quotation, model, and embedding text. Use when asked to run Lemma, invoke lemma:lemma, prepare Solidity or Markdown for retrieval, generate citation-aware chunks, or inspect Lemma output.…
Skill Claude CodeCodex
Check a credit protocol against executable laws: conservation, accrual and withdrawal claims, each one a Solidity component with a broken specimen it is proven to catch. Use when someone asks which invariants a lending or credit system should hold, wants properties for a fuzzing campaign, or hands over a protocol and…
Skill Claude CodeCodex
Build a sourced dossier on a counterparty who wants an undercollateralised market: what they borrowed across lending venues, whether they gave it back, and what could not be established. Use when someone names an entity and the wallet addresses it has declared and asks for diligence, borrowing history, repayment…
Skill Claude CodeCodex
Shape the agent's own replies for AuDHD readers with explicit actions, boundaries, state, evidence and next steps, or shape one agent-authored audit record, GitHub issue, or issue comment without dropping protected evidence. Session shaping persists until the user turns it off; the bounded durable-record operation…
Skill Claude CodeCodex
Build one checked cohort from validated Promise Machine run observations under an operator-declared comparison policy, infer bounded findings from a digest-bound rule catalogue, render the fixed-template report, and verify that all three artefacts recompute from their original inputs. Version 4.2.0 delivers all four…
Skill Claude CodeCodex
Build or verify a reproducible release of sourced on-chain credit events, with venue-native records, mapping provenance and explicit coverage. Use when the user names Tabularium, asks to preserve a credit-event record, or wants to rebuild or verify a Tabularium release offline. This version maps preserved Goldfinch…
Plugin Claude Code
Wildcat Labs Skills, governed by the Promise Machine evidence and transition contract.
Settings file Claude Code
Agent settings configuring attribution.
Instructions file CodexOpenCode
Instructions for wildcat-finance/skills, covering instructions for local agents, collective identity, promise machine contract, marketplace boundaries and issue queues.
Plugin Claude Code
Digest-bound lending-data releases with unsigned evidence statements, reviewed credit views and address queries.
Plugin Claude Code
Release evidence statements binding artefact digests to the record behind them.
Plugin Claude Code
Digest-pinned agent releases with byte-exact citations, block-bound reads and evaluated refusals.
Plugin Claude Code
Evidence-preserving budgets for engineering prose.
Plugin Claude Code
Fail-closed Solidity gas optimisation with measured Foundry evidence.
Plugin Claude Code
Receipted delivery through merge and closure, with ranked frontier, audit, fuzzing, prose, specification, debugging, hardening, telemetry and measurement skills.
Plugin Claude Code
Establish whether an on-chain computation and its off-chain reimplementation agree, integer for integer, over declared vectors.
Plugin Claude Code
Classify a repository's token sinks with evidence and emit the reading boundary agents respect.