Skill Claude CodeCodex
Design-time performance review of an approved contract-delta spec, before implementation. Runs when the spec's touches list intersects perf-sensitive capabilities. Produces the committed review record; measurement lives in the nightly bench harness, not here.
Skill Claude CodeCodex
Weekly retrospective mining of pipeline telemetry into ≤5 validated asset-delta recommendations. Use at the weekly telemetry review, once real runs have accumulated in telemetry/runs.jsonl. Reads the deterministic digest, proposes recommendations under a closed contract, and records the ones that pass.
Skill Claude CodeCodex
Design-time security review of an approved contract-delta spec, before implementation. Runs when the spec's touches list intersects security-sensitive capabilities. Produces a LOCAL-only review record (gitignored, never pushed — a security review maps attack surface); enforced on the dev machine, not in CI.
Instructions file CodexOpenCode
Instructions for neohaskell/NeoHaskell, covering neohaskell — agent guide, hard rule, style (mandatory), commands (pointers, not a duplicate) and work intake.
Instructions file
Instructions for neohaskell/NeoHaskell, a project described as: ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
Skill Claude CodeCodex
Orchestrate a NeoHaskell change end-to-end through the spec-gated pipeline - intake to merged PR with exactly two human gates. Use when implementing a feature, fixing a bug, or running any request that should produce a PR.