Agent skills for Windsurf (legacy)

This skill should be used when creating, modifying, or troubleshooting custom themes for iA Presenter.

Generate Infrastructure as Code from existing infrastructure with Terraform/CloudFormation support

Use when targeting IACR Conference on Cryptographic Hardware and Embedded Systems (CHES) or deciding whether a computer-science manuscript…

Investment banking presentation quality checker.

OpenDesign's investor pitch book: market map, moat, unit economics, and the ask — analyst-grade and diligence-ready.

PraxIS: IB DP Sciences practical & IA coach.

Expert in building Chrome Extensions using Manifest V3.

Master Minecraft server plugin development with Bukkit, Spigot, and Paper APIs.

Master ERC-721 and ERC-1155 NFT standards, metadata best practices, and advanced NFT features.

Integrate Stripe, PayPal, and payment processors.

Expert capability for robust, stealthy, and efficient browser automation using Playwright Go.

Generate marketing screenshots of your app using Playwright.

Use to understand why ICALP (EATCS) has no artifact-evaluation track or badge scheme, and what plays the equivalent role for a pure-theory…

Use when writing an ICALP (EATCS) Track B rebuttal in response to initial reviews, or when handling a Track A correctness query…

Use when preparing an accepted ICALP (EATCS) paper for the LIPIcs open-access camera-ready — converting to the lipics-v2021 document…

Use when matching the argument of an ICALP (EATCS) theory paper to its claim — choosing the proof strategy for an upper or lower bound…

Use when writing the related-work and positioning of an ICALP (EATCS) theory paper — comparing against the best known bounds in the TCS…

Use when making an ICALP (EATCS) theory result independently checkable — writing complete, self-contained proofs in the appendix and a…

Use when reasoning about how an ICALP (EATCS) submission is evaluated, covering lightweight double-blind review, the separate Track A and…