Agent skills for Microsoft Copilot

WHEN refining or structuring prompts; NOT executing tasks; outputs XML-tagged instructions with roles, tasks, constraints, and examples.

Prompt the user with pointed questions to extract what is in his head about a project — remaining work, what is being avoided, what really…

Analyzes AI interaction history to evaluate technical proficiency, prompting patterns, and AI dependency across various coding assistants.

Use when Codex should work as a coding-agent-native proof planning and review workflow: transform a candidate theorem, proof sketch…

Validates entire engineering proof chain.

Analyze and restructure mathematical proofs for clarity and completeness

Writes rigorous mathematical proofs for ML/AI theory.

Automate Proofly tasks via Rube MCP (Composio).

Proofreading skill for the Book of Challenges manuscript.

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

Generate PandaDoc proposals from client information or sales call transcripts.

Generates professional Korean B2B sales proposals and RFP responses using industry-standard structures and compliance checks.

PROPOSE-ONLY — mine this host's recent Claude Code transcripts for work that keeps recurring and keeps returning bulk into context, rank…

Architect PROSE-compliant agent primitives for AI-native development.

Capture friction as methodology notes. Three modes — explicit description, contextual (review recent corrections), session mining (scan…

Write `output/DRAFT.md` (or `output/SNAPSHOT.md`) from an approved outline and evidence packs, using only verified citation keys from…

Use Zenrows Protected Fetch in auto mode for anti-bot-protected page retrieval.

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

Selects appropriate imaging protocols based on clinical indication and patient factors.

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