Agent skills for Claude Code

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…

Play Pokemon via headless emulator + RAM reads.

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

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.

Generates Policy pattern for PHP 8.4. Creates encapsulated business rules for authorization, validation, and domain constraints. Includes…

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

Connect to POLT - the social memecoins launchpad for agents

Error handling is language-specific; FFI boundaries MUST convert between error models:

Automate Polygon tasks via Rube MCP (Composio).

Polymarket integration for prediction market trading on Polygon.

Professional-grade Polymarket prediction market trading system.

Polynomial chaos for uncertainty propagation

Audit the whole repo for over-engineering.