MCP HubMCP Hub
SKILL·45A7C2

predicate-logic

parcadei
Обновлено 2 months ago
49 просмотров
3,101
217
3,101
Посмотреть на GitHub
Другоеgeneral

О программе

Этот навык предоставляет стратегии для решения задач логики предикатов в математической логике, включая анализ кванторов и преобразование в пренексную нормальную форму. Он поддерживает ключевые методы доказательств, такие как сколемизация и резолюция, используя инструменты вроде Z3 и SymPy для автоматизации. Разработчикам следует применять его при работе с формальными логическими доказательствами, требующими манипуляций с кванторными утверждениями.

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

Claude Code

Рекомендуется
Основной
npx skills add parcadei/Continuous-Claude-v3 -a claude-code
Команда плагинаАльтернативный
/plugin add https://github.com/parcadei/Continuous-Claude-v3
Git клонированиеАльтернативный
git clone https://github.com/parcadei/Continuous-Claude-v3.git ~/.claude/skills/predicate-logic

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

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

parcadei/Continuous-Claude-v3
Путь: .claude/skills/math/mathematical-logic/predicate-logic
0
agentsclaude-codeclaude-code-cliclaude-code-hooksclaude-code-mcpclaude-code-skills
FAQ

Frequently asked questions

What is the predicate-logic skill?

predicate-logic is a Claude Skill by parcadei. Skills package instructions and resources that Claude loads on demand, so Claude can perform predicate-logic-related tasks without extra prompting.

How do I install predicate-logic?

Use the install commands on this page: add predicate-logic 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 predicate-logic belong to?

predicate-logic is in the Other category, tagged general.

Is predicate-logic free to use?

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

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

llamaguard
Другое

LlamaGuard — это модель от Meta с 7–8 миллиардами параметров для модерации входных и выходных данных больших языковых моделей по шести категориям безопасности, таким как насилие и разжигание ненависти. Она обеспечивает точность 94–95% и может быть развернута с помощью vLLM, Hugging Face или Amazon SageMaker. Используйте этот навык, чтобы легко интегрировать фильтрацию контента и защитные механизмы в ваши ИИ-приложения.

Просмотреть навык
cost-optimization
Другое

Этот навык Claude помогает разработчикам оптимизировать облачные расходы за счет правильного подбора ресурсов, стратегий тегирования и анализа затрат. Он предоставляет framework для сокращения облачных расходов и внедрения управления затратами в AWS, Azure и GCP. Используйте его, когда вам нужно проанализировать расходы на инфраструктуру, оптимизировать ресурсы или уложиться в бюджетные ограничения.

Просмотреть навык
sports-betting-analyzer
Другое

Этот навык Клода анализирует рынки спортивных ставок, включая форы, тоталы и ставки на игроков, изучая исторические тенденции и ситуационную статистику для выявления валуйных ставок. Он предоставляет структурированный вывод в формате markdown с практическими рекомендациями в образовательных целях. Разработчикам следует использовать его для инструментов анализа спортивных ставок, учитывая, что он предназначен исключительно для развлечения и обучения.

Просмотреть навык
quantizing-models-bitsandbytes
Другое

Этот навык выполняет квантизацию LLM до 8-битной или 4-битной точности с использованием библиотеки bitsandbytes, обеспечивая сокращение использования памяти на 50-75% при минимальной потере точности. Он идеально подходит для запуска больших моделей при ограниченной памяти GPU или для ускорения вывода, поддерживая форматы INT8, NF4 и FP4. Навык интегрируется с HuggingFace Transformers и позволяет использовать обучение QLoRA и 8-битные оптимизаторы.

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