Agent skills

Use when preparing an accepted ACM PODS paper for its PACMMOD-track camera-ready, covering de-anonymization, the final acmsmall format and…

Use when designing or auditing the analytical "evidence" of an ACM PODS paper — worst-case and average-case analyses, matching upper and…

Use when positioning an ACM PODS submission against the database-theory literature across PODS, ICDT, LICS, and the journals (TODS, LMCS…

Use when strengthening the verifiability of an ACM PODS paper — a complete claim-to-proof map, self-contained proofs in the at-submission…

Use when deciding what belongs in an ACM PODS paper body versus its at-submission appendix, covering the acmsmall 15-page budget, the rule…

Use when deciding whether a data-management project belongs at ACM PODS (the database-theory symposium) or should be routed to…

When to activate: Poetry, pyproject.toml, dependency management, virtual environments, packaging, publishing

Look up any Pokemon's types, base stats, and abilities from the public PokeAPI.

Synchronizes and validates data structures across different language versions of Pokemon skill sets to ensure consistency in localized…

Augment a BC Transformer agent with 2-ply bounded search using the cg library's SearchBegin/SearchStep API.

Use when building Claude Code skills or plugins for Pokemon TCG Pocket.

Play Texas Hold'em poker autonomously on POKERCLAW.

Assess a UK planning application against the policies that govern it, starting with the formally adopted development plan published by…

Mobile/web app build pipeline: fastlane-first local builds, store submission, pre-submission checklists.

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

Connect to POLT - the social memecoins launchpad for agents

Polymarket integration for prediction market trading on Polygon.

Polymarket exchange mechanics — on-chain Polygon CTF, Gamma/CLOB/Data APIs, EIP-712 auth, identifier model, WebSocket, settlement, and…

Professional-grade Polymarket prediction market trading system.

Polynomial chaos for uncertainty propagation

Audit the whole repo for over-engineering.