specification plugins

modelcontextprotocol/modelcontextprotocol

Plugin Claude Code ✓ vendor

Bundles 2 skills · 40 tokens together

Claude Code skills for researching and contributing to the MCP specification.

agenticnotetaking/eidos

Plugin Claude Code

Bundles 72 skills, 3 hooks · 0 tokens together

Spec-driven development plugin for Claude Code. Markdown specs as the source of truth, code downstream.

younes-io/agent-skills

Plugin Claude Code

Bundles 2 skills · 166 tokens together

TLA+ skills for checking specs and writing proofs.