Agent skills for DeepSeek Harness

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.

Build consistent UI using Polaris Web Components patterns for common page layouts like index pages, detail pages, forms, and empty states.

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.

Performs a final quality pass fixing alignment, spacing, consistency, and micro-detail issues before shipping.

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

Connect to POLT - the social memecoins launchpad for agents

Automate Polygon tasks via Rube MCP (Composio).

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