Agent skills for Claude Code

Submit a BC (behavioral cloning) Transformer agent for the Pokémon TCG AI Battle competition.

Set up Affonso affiliate program tracking with Polar integration.

Enforce access via Policies and Gates; use authorize() and authorizeResource() to standardize controller protections

Use when articulating the real-world, policy, and practice implications of a Global Environmental Change (GEC) manuscript.

Audit the allow/deny/ask rules across the user, project and local settings scopes, then dedupe them and promote read-only rules up the…

Controlled polling for async operations at specified intervals

End-to-end test the polly multi-agent coding orchestrator's critical user journeys (CUJs).

Use when coding in a supported production language.

Audit the whole repo for over-engineering.

Harvest every ponytail: shortcut comment into one debt ledger, so deferrals get tracked instead of forgotten.

Show ponytail measured impact as a scoreboard: less code, less cost, more speed, from the benchmark medians.

Quick reference for ponytail's modes, skills, and commands.

Review a diff for over-engineering. Finds what to delete: reinvented stdlib, needless deps, speculative abstractions. One line per finding.

Use a cost-controlled coding workflow in which the primary task gives a detailed execution plan, then exactly one fresh, user-selected…

Use when packaging a POPL artifact — above all a mechanized proof development in Rocq/Coq, Lean, Agda, or Isabelle — for the…

Use when drafting a POPL author response during the optional multi-day window — triaging soundness objections against misread definitions…

Use when a POPL paper is conditionally accepted — planning the mandatory revision the Review Committee must approve, de-anonymizing for…

Use when positioning a POPL paper in the semantics, type-systems, and verification literature — stating per-line technical deltas against…

Use when deciding whether a project is POPL-shaped — a principle about programming languages carried by definitions and theorems — or…

Use when planning a POPL campaign calendar — backward-scheduling theory and mechanization from the July deadline, riding the October…

Use when drafting or revising POPL prose — building the informal-to-formal ramp from a motivating program to definitions to a sharply…