MCP HubMCP Hub
SKILL·318D1A

bisimulation-oracle

plurigrid
Обновлено 3 months ago
13 просмотров
7
3
7
Посмотреть на GitHub
Метаbisimulationoracleformalbehavioral-equivalencegamegf3lts

О программе

Этот навык формально определяет, являются ли две системы (например, навыки или процессы) поведенчески эквивалентными, используя алгоритмы бисимуляции. Он предоставляет однозначные ответы ДА/НЕТ путем реализации игр сильной бисимуляции, слабой бисимуляции и GF(3)-цветной бисимуляции. Разработчикам следует использовать его как валидатор для строгой проверки того, являются ли две системы неразличимыми для любого внешнего наблюдателя.

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

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/bisimulation-oracle

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

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

plurigrid/asi
Путь: skills/bisimulation-oracle
0
FAQ

Часто задаваемые вопросы

Что такое Skill bisimulation-oracle?

bisimulation-oracle — это Claude Skill от plurigrid. Skills объединяют инструкции и ресурсы, которые Claude загружает по мере необходимости, чтобы выполнять задачи, связанные с bisimulation-oracle, без дополнительных запросов.

Как установить bisimulation-oracle?

Используйте команды установки на этой странице: добавьте bisimulation-oracle в Claude Code как плагин или клонируйте репозиторий в каталог skills, затем перезапустите Claude, чтобы загрузить Skill.

К какой категории относится bisimulation-oracle?

bisimulation-oracle относится к категории Мета.

Можно ли использовать bisimulation-oracle бесплатно?

Да. bisimulation-oracle размещён на AIMCP и доступен для бесплатной установки.

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

content-collections
Мета

Этот навык предоставляет проверенную в продакшене настройку для Content Collections — TypeScript-ориентированного инструмента, который преобразует файлы Markdown/MDX в типобезопасные коллекции данных с валидацией Zod. Используйте его при создании блогов, сайтов документации или контентных приложений на Vite + React для обеспечения типобезопасности и автоматической проверки содержимого. Он охватывает всё: от настройки плагина Vite и компиляции MDX до оптимизации развертывания и валидации схем.

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

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

Просмотреть навык
creating-opencode-plugins
Мета

Этот навык помогает разработчикам создавать плагины OpenCode, которые подключаются к более чем 25 типам событий, таким как команды, файлы и операции LSP. Он предоставляет структуру плагина, спецификации API событий и шаблоны реализации для модулей на JavaScript/TypeScript. Используйте его, когда вам нужно перехватывать, отслеживать или расширять жизненный цикл ассистента OpenCode AI с помощью пользовательской событийно-ориентированной логики.

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

SGLang — это высокопроизводительный фреймворк для обслуживания больших языковых моделей (LLM), специализирующийся на быстрой структурированной генерации JSON, regex и рабочих процессов агентов с использованием кэширования префиксов RadixAttention. Он обеспечивает значительно более высокую скорость вывода, особенно для задач с повторяющимися префиксами, что делает его идеальным для сложных структурированных результатов и многократных диалогов. Выбирайте SGLang вместо альтернатив, таких как vLLM, когда вам требуется ограниченное декодирование или вы создаете приложения с интенсивным совместным использованием префиксов.

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