MCP HubMCP Hub
SKILL·BAE062

mcp-spec-checker

plurigrid
Обновлено 1 month ago
14 просмотров
7
3
7
Посмотреть на GitHub
Разработкаmcp

О программе

mcp-spec-checker выполняет семантическое сравнение спецификаций протокола MCP с использованием трёх математически верифицированных подходов (типы Narya, вычислители GF(3) и эффекты Unison) с обязательной перекрёстной проверкой. Он предназначен для верификации протокола, обнаружения критических изменений и безопасной миграции между версиями спецификаций. Разработчикам следует использовать его, когда требуется строгое сравнение спецификаций MCP на уровне предикатов, а не простое текстовое сравнение.

Быстрая установка

Claude Code

Рекомендуется
Основной
npx skills add plurigrid/asi -a claude-code
Команда плагинаАльтернативный
/plugin add https://github.com/plurigrid/asi
Git клонированиеАльтернативный
git clone https://github.com/plurigrid/asi.git ~/.claude/skills/mcp-spec-checker

Скопируйте и вставьте эту команду в Claude Code для установки этого навыка

GitHub репозиторий

plurigrid/asi
Путь: plugins/asi/skills/mcp-spec-checker
0
FAQ

Frequently asked questions

What is the mcp-spec-checker skill?

mcp-spec-checker is a Claude Skill by plurigrid. Skills package instructions and resources that Claude loads on demand, so Claude can perform mcp-spec-checker-related tasks without extra prompting.

How do I install mcp-spec-checker?

Use the install commands on this page: add mcp-spec-checker to Claude Code as a plugin, or clone its repository into your skills directory, then restart Claude so it picks up the skill.

What category does mcp-spec-checker belong to?

mcp-spec-checker is in the Development category, tagged mcp.

Is mcp-spec-checker free to use?

Yes. mcp-spec-checker is listed on AIMCP and free to install. It runs inside Claude, so no separate service account is required to use the skill itself.

Похожие навыки

qmd
Разработка

qmd — это локальный инструмент командной строки для поиска и индексирования, который позволяет разработчикам индексировать и осуществлять поиск по локальным файлам с использованием гибридного поиска, сочетающего BM25, векторные эмбеддинги и реранкинг. Он поддерживает как использование через командную строку, так и режим MCP (Model Context Protocol) для интеграции с Claude. Инструмент использует Ollama для создания эмбеддингов и хранит индексы локально, что делает его идеальным для поиска по документации или кодовой базе прямо из терминала.

Просмотреть навык
subagent-driven-development
Разработка

Этот навык выполняет планы реализации, создавая нового суб-агента для каждой независимой задачи, проводя проверку кода между задачами. Он позволяет быстро итерировать, сохраняя контроль качества через этот процесс ревью. Используйте его при работе в основном с независимыми задачами в рамках одной сессии, чтобы обеспечить непрерывный прогресс со встроенными проверками качества.

Просмотреть навык
mcporter
Разработка

Навык mcporter позволяет разработчикам управлять и вызывать серверы Model Context Protocol (MCP) напрямую из Claude. Он предоставляет команды для вывода списка доступных серверов, вызова их инструментов с аргументами, а также для обработки аутентификации и управления жизненным циклом демона. Используйте этот навык для интеграции и тестирования функциональности серверов MCP в вашем рабочем процессе разработки.

Просмотреть навык
adk-deployment-specialist
Разработка

Этот навык развертывает и оркестрирует агентов Vertex AI ADK с использованием протокола A2A, управляя обнаружением AgentCard, отправкой задач и поддерживая инструменты, такие как песочница для выполнения кода и Memory Bank. Он позволяет создавать мультиагентные системы с последовательными, параллельными или циклическими схемами оркестрации на Python, Java или Go. Используйте его, когда требуется развернуть агентов ADK или оркестрировать рабочие процессы агентов в Google Cloud.

Просмотреть навык