Agent skills for Microsoft Copilot

Professional-grade Polymarket prediction market trading system.

Polynomial chaos for uncertainty propagation

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.

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…

54 real-world design systems (Stripe, Linear, Vercel, Notion, Apple…) as ready-to-paste HTML/CSS — exact colors, typography, components…

Strapi CMS REST API for headless content management.

Use when starting or orienting any Population and Development Review (PDR, Wiley / Population Council) manuscript and unsure which skill…

Stratify patient populations by risk level using claims data, clinical data, and social determinants to prioritize care management…

View audit logs, decision traces, and session history for AI transparency.

Use as the entry point for any Public Opinion Quarterly (POQ) manuscript.

Diagnose port-level issues on host or container.

Port or introduce an InstantSearch widget or connector-driven feature across this monorepo's JavaScript, React, and Vue flavors.

This skill should be used when building portfolio dashboards, implementing balance checking, or adding multi-chain holdings views.

Use this plugin when the user wants a premium dark single-page portfolio landing: cinematic HLS hero video, Instrument-Serif italic…

Analyze portfolio allocation drift and generate rebalancing trade recommendations across accounts.

Recreate open PostHog/code pull requests as PostHog/posthog PRs against the imported products/desktop/ tree, preserving commit authorship.