Agent skills for Cursor

Standardizes software project layouts and directory hierarchies across various programming languages and frameworks.

Create or update compact durable Markdown memory for long-running projects, including current objective, status, workstreams, attempts…

Transforms a rough idea into a detailed design document with implementation plan.

Universal prompt engineering techniques for any LLM.

Meta's 86M prompt injection and jailbreak detector.

Optimizes AI prompt creation through model-specific strategies and multi-layered architectures for Claude, GPT, and Gemini.

Publish, read, comment on, or edit markdown in Proof.

Validates entire engineering proof chain.

Writes rigorous mathematical proofs for ML/AI theory.

Compare up to 3 UK properties side by side — comparable sales, EPC ratings, rental yields, stamp duty, and a relative ranking.

Chorus Proposal workflow — create proposals with document and task drafts, manage dependency DAG, validate and submit for review.

Applies n8n's RBAC scope decorators to REST endpoints.

Use the Zenrows MCP scrape tool for anti-bot-protected page retrieval.

Protein grouping and inference from peptide identifications.

Clean editorial-style interfaces. Warm monochrome palette, typographic contrast, flat bento grids, muted pastels. No gradients, no heavy…

Search, browse, and retrieve scientific protocols from protocols.io via REST API.

Automatically discover protocol skills when working with HTTP, TCP, UDP, QUIC, and network protocols

Convert design prototypes (HTML, CSS, Figma exports) into production-ready components.

Check a prototype against the user stories and test scenarios it is supposed to satisfy — build a coverage map, walk each scenario as…

Guides validation of ideas before full development using pretotyping (fake doors, concierge MVPs, Wizard of Oz) and prototyping at…

Formal theorem proving with research, testing, and verification phases