Agent skills for DeepSeek Harness

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.

Stress-tests product proposals, architecture designs, and technical plans through structured adversarial questioning and failure mode…

Develop, compare, and recommend among multiple plausible fixes for a problem.

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

Retrieve and maintain a small provenance-aware project memory when an earlier fact, correction, decision, or unresolved item affects…

Use when provisioning persistent tool-using AI agents on Azure AI Foundry.

Analyze OpenShift bare metal installation failures in Prow CI jobs using dev-scripts artifacts.