Главная · Тег
Логика
Логика в экосистеме Claude Code: 23 инструмента — 11 скиллов, 12 MCP-серверов. Популярные: доказать Parcadei, последовательное мышление MrGoonie, машина состояний Owl Listener. У каждого — описание на русском, команда установки и ссылка на исходники.
prove — доказать Parcadei
parcadei/continuous-claude-v3
Доказать (prove).
sequential-thinking — последовательное мышление MrGoonie
mrgoonie/claudekit-skills
Последовательное мышление.
state-machine — машина состояний Owl Listener
owl-listener/designer-skills
Машина состояний.
reconciler-logic — логика реконсилятора Grafana
grafana/skills
Логика реконсилятора.
policy-algebra — алгебра политик Camacho AI
camacho/ai-skills
Алгебра политик.
cause-and-effect — причина следствие анализ причинность
neolabhq/context-engineering-kit
Анализ причинно-следственных связей.
proof — доказательство Every Inc
everyinc/compound-engineering-plugin
Доказательство.
sequential-thinking — последовательное мышление SecondSky
secondsky/claude-skills
Последовательное мышление SecondSky.
contradiction-analysis — анализ противоречий логика
hughyau/qiushi-skill
Анализ противоречий и логики.
proof-writer — писатель доказательств WanShuiYin
wanshuiyin/auto-claude-code-research-in-sleep
Писатель математических доказательств.
complex-reasoning — сложное рассуждение AI логика
lobbi-docs/claude
Сложное рассуждение и логика AI.
Mcp Contradiction Check — проверка противоречий
onetrueclaude-creator/mcp-contradiction-check
MCP-сервер проверки противоречий.
Sequential Thinking — Sequential Thinking
spences10/mcp-sequentialthinking-tools
MCP-сервер Sequential Thinking (пошаговые рассуждения).
Legal-Logic-Fuzzer — Legal-Logic-Fuzzer
io.github.evozim/legal-logic-fuzzer
MCP-сервер Legal-Logic-Fuzzer.
Logic Server — Logic Server
ai.nocturnus/logic-server
MCP-сервер Logic Server.
Mifactory Logic Verifier — MiFactory: верификатор логики
mifactory-bot/mifactory-logic-verifier
MCP-сервер MiFactory: верификатор логики.
PreReason — PreReason
prereason/mcp
MCP-сервер PreReason (рассуждения).
Prolog Reasoner — Prolog Reasoner
rikarazome/prolog-reasoner
MCP-сервер логического вывода на Prolog.
Prover — Prover
com.axiomatic-ai/prover
MCP-сервер Prover (формальная верификация).
Reasoning Commons — Reasoning Commons
io.github.chenyuan35/reasoning-commons
MCP-сервер Reasoning Commons (инструменты рассуждений).
Sequential Thinking — Sequential Thinking
fradser/mcp-server-mas-sequential-thinking
MCP-сервер Sequential Thinking (пошаговые рассуждения).
Sequential ThinkingOfficial — Sequential Thinking
modelcontextprotocol/servers
MCP-сервер Sequential Thinking (пошаговые рассуждения).
Sequential Thinking — Sequential Thinking
arben-adm/mcp-sequential-thinking
MCP-сервер Sequential Thinking (пошаговые рассуждения).