Agent skills for Zed

Assist in constructing algorithm correctness proofs

Rigorous mathematical proof verification and fixing workflow.

Design QA audit — red flags, severity classification, visual quality scorecard.

Manage a stateful, run-directory-based proof project with Codex: continuation across runs, run-local source bookkeeping, manual GPT Pro…

QA and testing engineer — test strategy, E2E suites, API tests, flaky test triage, coverage.

Analyze and restructure mathematical proofs for clarity and completeness

Automate Proofly tasks via Rube MCP (Composio).

Use when shaping a proposal for a Perspectives on Psychological Science (PoPS) contribution — the proposal route (required for cooperative…

Proposal Writing

Propose relevant standards — EU law: defines the standard, burden of proof and counter-argument; result: interface map with…

Skill for propulsion system ground test data acquisition and analysis

Locate an existing OpenProse installation via env var, AIWG config, local install, plugin manifest, or global CLI.

Read and parse an OpenProse program file, extracting its contract (requires, ensures, strategies, errors, invariants) and services into a…

Clone or update the OpenProse repository to ensure AIWG prose tools hook into the latest version of the specification and examples

Use this skill when the user wants to write long-form prose — blog posts, founder essays, build-in-public posts, About pages, newsletter…

Rewrites EXISTING text into the register of a professional world (board, deck, LinkedIn, postmortem, offerta tecnica, bando, CV), keeping…

Emergency defensive response when the user believes they're under active attack — hacked, compromised, credentials stolen, suspicious…

Scrape websites protected by Cloudflare, anti-bot systems, and other WAF protections using undetected-chromedriver.

Skill for building standardized research protocols

Use when `evidence-review` needs an operational protocol before screening and extraction.

Rapid prototyping workflow. Skips normal standards to quickly validate a game concept or mechanic. Produces throwaway code and a…