pravo-logika · «Скилл логики для юриста»

Name: pravo-logika
Author: sky-magenta

🔗 Страница проекта: sky-magenta.github.io/pravo-logika — что это и зачем, на одной странице.

Вы юрист и просто хотите поставить и попробовать? Программист не нужен. Идите сразу к разделам: Установка за 10 минут · Первый пример · Конфиденциальность.

Открытый скилл для проверки формы правового рассуждения на материале права РФ. Разбирает юридическую аргументацию так, как логик разбирает силлогизм: следует ли квалификация из нормы и факта, правомерен ли переход при толковании, однозначна ли формулировка договора. Все референсы на русском.

Это надстройка над логическим движком: правовой слой поверх классической формальной логики. Логический слой перенесён из скилла logika (см. «Атрибуция»).

Проект Damascus Ink; автор — основатель платформы Moire AI. Об авторе — в разделе «Об авторе и проекте».

Что делает

Ревью правовой аргументации — разбор меморандума или позиции: структура, субсумпция, толкование, каталог юридико-логических дефектов. Только диагностика, текст не переписывается.
Правка — переписывание с исправленной аргументацией, минимальными изменениями, с сохранением стиля автора.
Clause-check — проверка договорной формулировки на логическую однозначность (определения, перечни, условия, союзы «и/или», пороги, кванторы, модальности).
Сравнение двух позиций — карта спора двух встречных памяток (истец/ответчик, buy-side/sell-side): об одном ли спорят стороны, тип расхождения (право / факт / оценка), скрытые посылки, несущая точка. Материальную правоту не присуждает.
Разбор нормы — текст статьи или положения как объект: гипотеза / диспозиция / санкция, кванторы, исключения, отсылки и неоднозначности в самой норме.

Дополнительно clause-check покрывает сроки, условия и механику закрытия (отлагательные/отменительные условия, порядок исполнения, signing/closing, survival) — см. references/time-and-conditions.md.

Как это выглядит на живом тексте — сквозной разбор меморандума в docs/example.md; каталог дефектов — docs/cheatsheet.md; готовые запросы — docs/prompts.md.

Граница: не проверяет право

Скилл проверяет, как построено рассуждение, а не какова норма. Нормы и судебную практику он по памяти не подставляет: где вывод опирается на конкретную статью или позицию суда, ставится флаг [требует проверки: норма / практика], и проверка остаётся за человеком. Факт скилл принимает как данность автора и фиксирует пробелы в доказывании отдельно от дефектов права.

Устройство

pravo-logika/
├─ SKILL.md                     # правовой слой: движок, режимы, форматы, маршрутизация
├─ references/                  # ПРАВОВОЙ слой
│  ├─ norm.md                   # норма, субсумпция, коллизии
│  ├─ interpretation.md         # толкование и правовые приёмы вывода
│  ├─ legal-errors.md           # каталог юридико-логических дефектов
│  ├─ contract.md               # логика договорного текста
│  ├─ proof.md                  # бремя доказывания, презумпции, стандарт
│  ├─ compare.md                # сравнение двух позиций: предмет спора, несущая точка
│  ├─ time-and-conditions.md    # сроки, условия, механика закрытия (signing/closing)
│  └─ logic/                    # ЛОГИЧЕСКИЙ слой (движок; из проекта logika)
│     ├─ concepts.md            # понятия, определения, деление
│     ├─ judgments.md           # суждения A/E/I/O, кванторы, логический квадрат
│     ├─ deontic.md             # модальности O/P/F, деонтический квадрат, должное и сущее
│     ├─ syllogism.md           # силлогизмы, фигуры и модусы, энтимемы
│     ├─ induction.md           # индукция, аналогия, гипотеза
│     ├─ errors.md              # общий каталог логических ошибок
│     └─ laws.md                # законы мышления
├─ commands/
│  ├─ review.md                 # /pravo-logika:review — правовое ревью
│  ├─ clause-check.md           # /pravo-logika:clause-check — проверка формулировки
│  ├─ compare.md                # /pravo-logika:compare — сравнение двух позиций
│  └─ norm.md                   # /pravo-logika:norm — разбор текста нормы
├─ docs/
│  ├─ konspekt.md               # конспект первоисточника по логике (Челпанов)
│  ├─ example.md                # сквозной разбор меморандума (режим ревью)
│  ├─ cheatsheet.md             # одностраничный каталог дефектов (рус. + лат.)
│  ├─ prompts.md                # готовые запросы под каждый режим
│  └─ index.html                # страница проекта (GitHub Pages)
├─ evals/                       # E2E-тесты: 170 размеченных примеров + прогон через API
│  ├─ cases.jsonl               # 170 примеров (defect/clean, все 5 режимов, каталог + M&A + практики)
│  ├─ build_cases.py            # генератор cases.jsonl
│  ├─ validate_cases.py         # офлайн-проверка структуры и покрытия (pytest/CI)
│  └─ run_evals.py              # прогон скилла через Claude API + грейдинг
├─ .github/workflows/ci.yml     # CI: валидатор набора + проверка манифестов на каждый push
├─ .claude-plugin/ .cursor-plugin/ .codex-plugin/
├─ AGENTS.md                    # гид для контрибьютора/агента: правки, инварианты, тесты
├─ README.md
├─ THIRD_PARTY_NOTICES.md       # атрибуция стороннего материала (logika, Челпанов)
└─ LICENSE

Установка за 10 минут (без программиста)

Скилл ставится один раз. Дальше он просто есть в вашем ИИ-помощнике — как встроенная функция, которая появляется прямо в чате. Ниже три способа; начните с того, что ближе: мышкой в Claude Cowork (приложение Claude), двумя командами в Claude Code или папкой.

Что понадобится

ИИ-помощник с поддержкой скиллов — один из:
- приложение Claude с вкладкой Cowork (macOS и Windows) — если вы не работаете в редакторе кода, начните с него;
- Claude Code — работают и плагин, и папка;
- Cursor;
- OpenAI Codex или другой ИИ-редактор со скиллами.
Активная подписка на выбранный сервис. Сам скилл бесплатный (и таким останется), но ИИ-помощник, в котором он работает, — платный (у Claude, Cursor и др. свои тарифы и пробные режимы). Скилл — не отдельная программа: он встраивается в помощник, которым вы уже пользуетесь.
~10 минут и интернет для установки. Файлы небольшие.

Ещё не пользуетесь ни одним помощником? Начните с приложения Claude и вкладки Cowork — скилл ставится в нём мышкой, за пару минут.

Способ 1 — в Claude Cowork (мышкой, без командной строки)

Claude Cowork — это рабочее пространство внутри приложения Claude (не путать с Claude Code). Скилл ставится туда как плагин из общего маркетплейса, через меню — команды печатать не нужно.

Нужен платный план — Pro, Max, Team или Enterprise. Плагины доступны только на платных планах.

По шагам:

Откройте в Claude вкладку Cowork, затем в левой панели — меню Customize («Настроить»). В нём собраны плагины, скиллы и коннекторы.
Перейдите на вкладку Plugins («Плагины»).
В разделе Personal plugins нажмите «+» → «Add marketplace» («Добавить маркетплейс»).
В открывшемся окне в поле URL введите https://github.com/sky-magenta/damascus-ink-plugins и нажмите Sync («Синхронизировать»). Маркетплейс синхронизируется.
Найдите плагин pravo-logika и нажмите Install («Установить»). Рядом в списке — pravo-ritorika и pravo-grammatika, если нужны.
Готово. Чтобы вызвать: наберите «/» или нажмите «+» в чате Cowork — появятся скилл pravo-logika и слэш-команды (/pravo-logika:review, :clause-check, :compare, :norm).
Один маркетплейс damascus-ink-plugins содержит все три скилла тривиума (pravo-logika, pravo-ritorika, pravo-grammatika) — добавляется один раз, отдельные добавлять не нужно.

Слова-триггеры. После установки скилл подхватывается сам, без команд, когда в запросе есть: «проверь правовую логику», «разбери меморандум», «найди ошибки в аргументации», «проверь формулировку договора», «есть ли двусмысленность», «сравни две позиции», «где расходятся истец и ответчик», «разбери норму», «разложи статью». Готовые запросы под каждый режим — в docs/prompts.md.

🔒 Про доверие к плагинам. Плагины в принципе могут включать локальные MCP-серверы (мини-программы), поэтому Claude предупреждает ставить их только из доверенных источников. У pravo-logika таких серверов нет — это только скилл (текстовые файлы) и слэш-команды.

⚠️ Конфиденциальность — как и в остальных способах: документ, вставленный в чат, обрабатывается по правилам провайдера модели. Подробно — в разделе «Конфиденциальность».

Первоисточник (официальная документация Anthropic): «Use plugins in Claude» — support.claude.com.

Способ 2 — плагином в Claude Code (две команды)

В окне Claude Code введите две команды по очереди (каждую с новой строки, Enter после каждой):

/plugin marketplace add sky-magenta/damascus-ink-plugins
/plugin install pravo-logika@damascus-ink

Первая команда подключает «витрину» скиллов Damascus Ink (в ней все три скилла тривиума), вторая — ставит сам скилл. Остальные ставятся так же: /plugin install pravo-ritorika@damascus-ink и /plugin install pravo-grammatika@damascus-ink. Дальше — «Как проверить, что заработало».

Способ 3 — вручную, папкой (Claude Code, Cursor, Codex)

Если плагин недоступен или вы работаете в Cursor/Codex — скопируйте скилл папкой. Тоже несложно, просто больше шагов.

▸ Пошагово для Windows (нажмите, чтобы раскрыть)

Шаг 1. Скачайте скилл с GitHub — без всяких «клонов».
Откройте страницу проекта: github.com/sky-magenta/pravo-logika. Нажмите зелёную кнопку «Code», затем в выпавшем меню — «Download ZIP». Скачается архив.

Шаг 2. Распакуйте архив. Правой кнопкой по скачанному файлу → «Извлечь всё…». Внутри окажется папка pravo-logika-main — запомните это имя, к нему вернёмся на шаге 4.

Шаг 3. Откройте нужную папку на компьютере. Откройте Проводник, щёлкните в адресную строку вверху (где показан путь), вставьте туда ровно это и нажмите Enter:

%USERPROFILE%\.claude\skills

(Для Cursor вместо .claude — .cursor; для Codex — .codex.)

Папка .claude скрытая. Если Проводник говорит, что папки нет, включите показ скрытых: вкладка «Вид» → «Показать» → «Скрытые элементы» (Windows 11) или «Вид» → галочка «Скрытые элементы» (Windows 10).
Если внутри нет папки skills — создайте её (правой кнопкой → «Создать» → «Папку», назовите skills) и войдите внутрь.

Шаг 4. Перенесите папку скилла сюда — и ОБЯЗАТЕЛЬНО переименуйте.
Скопируйте распакованную папку pravo-logika-main внутрь папки skills. Затем переименуйте её ровно в pravo-logika (правой кнопкой → «Переименовать», уберите -main на конце).

⚠️ Самая частая ошибка. Имя папки должно быть точно pravo-logika — без -main. Если оставить pravo-logika-main, скилл не подхватится.

Должно получиться так: C:\Users\ВашеИмя\.claude\skills\pravo-logika\, а **внутри сразу** файлы SKILL.md, references, commands (а не ещё одна вложенная папка).

Шаг 5. Перезапустите Claude Code — закройте и откройте заново, чтобы он увидел новый скилл.

▸ Для macOS

Всё то же самое, с двумя отличиями:

Путь открывается в Finder так: Cmd + Shift + G, вставьте ~/.claude/skills (или ~/.cursor/skills, ~/.codex/skills) и нажмите Enter.
Скрытые папки в Finder показываются сочетанием Cmd + Shift + . (точка).

Так же не забудьте переименовать pravo-logika-main → pravo-logika.

Как проверить, что заработало

В окне ИИ-помощника напишите обычным языком:

проверь формулировку: «Покупатель вправе отказаться от Договора и/или потребовать замены Товара.»

Если скилл установлен, помощник разберёт формулировку по правилам скилла: разложит «и/или» на три разных сценария прав Покупателя (только отказ; только замена; и то и другое), покажет, чем каждый отличается по правовому результату, и предложит текст под каждый — структурно, со ссылками на разделы скилла. Если он ответил обычным текстом вроде «в целом нормально» без разбора — скилл, скорее всего, не подхватился (см. «Если не сработало»).

Ещё проще: если ставили плагином в Claude Code, команда /plugin покажет pravo-logika в списке установленных.

Первый пример

Скопируйте этот заведомо кривой пункт договора и попросите проверить формулировку:

проверь формулировку договора: «Поставщик обязан передать Товар в разумный срок; при существенном нарушении Покупатель вправе отказаться от Договора и/или потребовать неустойку в размере, определяемом Сторонами дополнительно.»

Скилл покажет, среди прочего:

«и/или» — неоднозначный союз: три разных сценария прав Покупателя (отказ; неустойка; и то и другое);
«в размере, определяемом дополнительно» — условие без содержания: неустойка фактически не согласована.

А вот «разумный срок» и «существенное нарушение» скилл дефектами не назовёт: это устоявшиеся оценочные категории, их использование само по себе — не ошибка (раздел «Сдержанность» в SKILL.md). Максимум — замечание, что стороны могут задать критерий, если хотят исчислимости. По каждому найденному дефекту — почему это логический дефект и как формулировку сузить.

Если не сработало

Скилл не виден / не срабатывает → перезапустите ИИ-помощник (закройте и откройте заново): скиллы считываются при старте.
Ставили папкой, но не подхватилось → проверьте имя папки: ровно pravo-logika, а не pravo-logika-main.
Проверьте расположение: путь …\.claude\skills\pravo-logika\, и **внутри сразу** SKILL.md (а не ещё одна вложенная папка pravo-logika).
Плагин не ставится → команды /plugin … работают только в Claude Code; в Cowork ставьте через меню (способ 1), в Cursor/Codex — папкой (способ 3). В Claude Code повторите обе команды по очереди; /plugin покажет статус.
Не помогло — напишите в обратную связь и опишите, на каком шаге споткнулись.

Как обновиться

Скилл иногда пополняется. Чтобы взять свежую версию:

Плагином (Cowork): откройте Customize → Plugins — маркетплейс damascus-ink обновляется там же, где добавлялся; в крайнем случае удалите плагин и поставьте заново.
Плагином (Claude Code): /plugin marketplace update damascus-ink, затем при необходимости переустановите /plugin install pravo-logika@damascus-ink.
Папкой: удалите старую папку pravo-logika и повторите скачивание тем же способом 3 (вручную). Ваши данные это не затрагивает — скилл ничего не хранит.

Вызов

Слэш-команда /pravo-logika:review, /pravo-logika:clause-check, /pravo-logika:compare или /pravo-logika:norm (готовые шаблоны — в docs/prompts.md).
Обычный запрос: «проверь правовую логику», «разбери меморандум», «проверь формулировку договора», «сравни две позиции», «разбери норму».
Автоматически — агент может подгрузить скилл сам, если запрос совпадает с description в SKILL.md.

Конфиденциальность

Прочитайте перед работой с документами доверителя. Коротко и прямо:

Сам скилл ничего никуда не отправляет. Это набор текстовых файлов с правилами разбора (SKILL.md, references/). Он не выходит в интернет, не собирает данные, не «звонит домой».
Но ИИ-помощник — отправляет. Любой текст, который вы вставляете в чат (пункт договора, меморандум, позицию), уходит на серверы поставщика модели (для Claude — Anthropic, и т.д.) и обрабатывается по его правилам и политике конфиденциальности. Это свойство самого ИИ-помощника, а не скилла.
Если вы связаны адвокатской или иной профессиональной тайной, соглашением о конфиденциальности либо режимом персональных данных — не вставляйте в облачный чат идентифицирующие или охраняемые сведения. Обезличивайте (уберите имена, реквизиты, суммы), работайте на выдержках — либо используйте решение в закрытом контуре. Ответственность за передачу данных третьему лицу лежит на вас.

Для чувствительных материалов в закрытом контуре (данные не покидают ваш сервер) есть отдельная платформа автора — Moire AI. pravo-logika в неё не входит: это открытый скилл для повседневных ИИ-помощников.

Вопросы и ответы

Нужен ли программист или технический специалист? Нет. Всё делается мышкой и парой команд; ни строчки кода писать не нужно.

Это платно? Сам скилл — бесплатный, с открытым исходным кодом (лицензия MIT). Платный — ИИ-помощник (Claude с Cowork / Claude Code / Cursor / Codex), в котором скилл работает; у него свой тариф.

Работает на Windows и на Mac? Да, на обоих (и на Linux). Инструкция выше — и для Windows, и для macOS.

Это «программа», которую я скачал? Не совсем. Скилл — это набор инструкций (текстовые файлы), которые встраиваются в ИИ-помощник и учат его разбирать правовую логику. Отдельного окна или иконки у него нет: он проявляется прямо в чате помощника.

Мои документы уходят «в облако»? Скилл — нет. Но ИИ-помощник — да, по своим правилам (см. «Конфиденциальность»). Для закрытого контура — Moire AI.

Он заменяет юриста и даёт правовую позицию? Нет. Он проверяет форму рассуждения (логику вывода, однозначность формулировок), а не право по существу; нормы и практику помечает флагом к проверке человеком.

Обратная связь

Вопросы, идеи, «не получилось» — быстрее всего в Telegram: «Дамасские чернила | AI и M&A» → t.me/forgednotwritten.
Технические баги и предложения по содержанию можно завести как Issue на GitHub.

Экосистема Damascus Ink

Семейство открытых скиллов для юриста (право РФ, один автор, MIT) — каждый закрывает свой слой работы над письменной позицией:

Скилл	Слой	Статус
`pravo-logika`	Валидность: следует ли вывод — субсумпция, толкование, однозначность договора, разбор нормы, сравнение позиций	этот репозиторий
`pravo-ritorika`	Убедительность: примет ли адресат — линия спора, порядок аргументов, адаптация, стресс-тест	опубликован
`pravo-grammatika`	Форма: как написано — синтаксическая неоднозначность, пунктуация, область действия, модальность	опубликован

Все три ставятся из одного маркетплейса — sky-magenta/damascus-ink-plugins. Страницы: логика · риторика · грамматика.

Рабочий цикл над позицией: /pravo-logika:review → правка → /pravo-ritorika:status → /pravo-ritorika:structure → /pravo-ritorika:stress-test. Риторика валидность не проверяет — логические дефекты возвращает сюда флагом [→ pravo-logika]; логика не оценивает подачу — слои не пересекаются.

Статус

Версия 0.6.0. Пять режимов — ревью, правка, clause-check, сравнение двух позиций, разбор нормы. Правовой слой — семь референсов на русском (норма и субсумпция, толкование, каталог юридико-логических дефектов, логика договора, доказывание, сравнение позиций, сроки и условия сделки) поверх классического логического движка: понятия, суждения, силлогистика, индукция, деонтика. Скилл проверен на наборе из 170 размеченных примеров (evals/), включая корпоративные, M&A и банкротные сценарии; корректные примеры подтверждают отсутствие ложных срабатываний. Каталог дефектов — docs/cheatsheet.md, готовые запросы — docs/prompts.md. Страница проекта — sky-magenta.github.io/pravo-logika. Лицензия — MIT.

Об авторе и проекте

Автор — Софья Смирнова (Telegram: «Дамасские чернила | AI и M&A»). Советник корпоративной практики и M&A, руководитель практики AI & Legal Tech в O2 Consulting; основатель платформы Moire AI. Скилл сделан для собственной практики: разбирать юридическую аргументацию тем же аппаратом, каким логика разбирает силлогизм.

Damascus Ink («Дамасские чернила») — сайт и телеграм-канал «Дамасские чернила | AI и M&A» об ИИ в юридической практике и M&A: исследования, инструменты, выступления.

Moire AI — «interference of law & tech» — платформа для сопровождения сделок (M&A, PE, JV, VC): юридический due diligence на локальном ИИ, в закрытом контуре — данные не покидают сервер, внешние ИИ-сервисы не используются, каждый вывод со ссылкой на источник. pravo-logika — отдельный открытый скилл (MIT) от того же автора; в состав платформы не входит.

Атрибуция

Производная работа от скилла logika (Pavel Rykov, коллекция rpa-skills, MIT). Логический движок и файлы references/logic/ перенесены оттуда (кроме logic/deontic.md — деонтический раздел добавлен в настоящем проекте). Логический материал восходит к «Учебнику логики» Г. Челпанова (public domain). Полная атрибуция стороннего материала — в THIRD_PARTY_NOTICES.md.

Правовой слой (SKILL.md и references/*.md верхнего уровня) — оригинальная работа Софьи Смирновой (t.me/forgednotwritten).