modelcontextprotocol/modelcontextprotocol
Plugin Claude Code
Plugin marketplace listing 1 plugin: mcp-spec.
9.1k
+6 yesterday A
tokens not measured
mcp-spec
02modelcontextprotocol/modelcontextprotocol
Plugin Claude Code
Claude Code skills for researching and contributing to the MCP specification.
9.1k
+6 yesterday A
tokens not measured
marketplace
03Plugin Claude Code
Plugin marketplace listing 1 plugin: eidos.
59 28d ago A
tokens not measured
eidos
04Plugin Claude Code
Spec-driven development plugin for Claude Code. Markdown specs as the source of truth, code downstream.
59 28d ago A
tokens not measured
Plugin Claude Code
Plugin marketplace listing 1 plugin: tla-workbenches.
20 1mo ago A
tokens not measured
original MIT
Plugin Claude Code
TLA+ skills for checking specs and writing proofs.
20 1mo ago A
tokens not measured
original MIT