specification skills

modelcontextprotocol/modelcontextprotocol

Skill Claude CodeCodex

Research and draft a Specification Enhancement Proposal following the MCP SEP governance process.

modelcontextprotocol/modelcontextprotocol

Skill Claude CodeCodex

Search MCP PRs, issues, and discussions across the modelcontextprotocol GitHub org.

maddhruv/absolute

Skill Claude CodeCodex

End-to-end, phase-gated SDLC for AI coding agents: relentless design interview → reviewed spec → dependency-graphed task board → safe-wave TDD execution → verification → converge. Handles features, bugs, refactors, greenfield projects, planning breakdowns, and migrations. Triggers on "absolute work", "build this…

speq-ai/speq

Skill Claude CodeCodex

Skill "speq" from speq-ai/speq, covering what this is, session start, core principles, closed world and immutability.

agenticnotetaking/eidos

Skill Claude CodeCodex

architecture.md.

agenticnotetaking/eidos

Skill Claude CodeCodex

debug-session-start.md.

agenticnotetaking/eidos

Skill Claude CodeCodex

research-recursive.md.

visual-req/visual-spec

Skill Claude CodeCodex

Analyzes raw requirements into visual specs and generates artifacts. Invoke when user runs /vspec:new for analysis or /vspec:verify for models and prototypes.

memgrafter/flatmachines

Skill Claude CodeCodex

AI coding agent that plans, implements, and verifies code changes with human approval gates. Built on FlatAgents.

younes-io/agent-skills

Skill Claude CodeCodex

Write and iteratively refine executable TLA+ specs (.tla) and TLC model configs (.cfg) from natural-language system designs; run TLC model checking; summarize pass/fail and counterexamples with explicit assumptions and bounds. Use when asked to design or validate a protocol/state machine, create or edit .tla/.cfg…

younes-io/agent-skills

Skill Claude CodeCodex

Write and iteratively refine TLA+ theorem proofs in .tla modules with TLAPS (tlapm); run proof checks and summarize proved vs failed/omitted obligations with explicit assumptions and trust boundaries. Use when asked to create or fix THEOREM or PROOF blocks, diagnose TLAPS failures, strengthen inductive invariants…

emretheus/prespec

Skill Claude CodeCodex

Write the behaviour specification for a feature BEFORE implementing it, as test cases. Use whenever you are about to build a new endpoint, screen, flow, or behaviour — especially anything touching auth, sessions, tokens, lists, or pagination. Also use when asked "how should I test this", "what should this actually…