⚖️ Lex Machina

Modułowy system skilli prawniczych AI dla prawa polskiego — z twardymi bramkami antyhalucynacyjnymi

System pokrywa 16 dziedzin prawa polskiego i unijnego: od routingu sprawy, przez analizę dowodów i strategię procesową, po generowanie pism — z obowiązkową weryfikacją online każdego przepisu i każdej sygnatury.

Szybki start • Architektura • Kompatybilność LLM • Katalog skilli • Mechanizmy weryfikacji • Baza źródeł • Instalacja • Zadania cykliczne (Cowork) • Zastrzeżenia

🎯 Czym jest Lex Machina

Lex Machina to zestaw 32 skilli (host-neutralnych Agent Skills) tworzących kompletny warsztat pracy z polskim prawem:

Zasada naczelna: brak numeru artykułu jest lepszy niż błędny numer artykułu; brak sygnatury jest lepszy niż sygnatura nieweryfikowana lub fałszywa.

🚀 Szybki start

1. Pobierz repozytorium (Code → Download ZIP lub git clone)
2. Wgraj skille do Claude AI w kolejności: shared/ → routing → DR → wykonawcze (pełna instrukcja)
3. Ustaw User Preferences w Claude AI:

   Prawo PL: router→v3 pierwszy, ISAP każdy przepis, HYBRID-VAL przed .docx. Karne: +kwalifikator.
   

4. Otwórz nową rozmowę i napisz: „Mam sprawę prawną. Od czego zacząć?"

🏗️ Architektura

flowchart TB
    U([👤 Użytkownik]) --> R

    subgraph ROUTING["🧭 Warstwa routingu"]
        R[prawny-router-v3<br/>tryb PRAWNIK / LAIK] --> PP[prawo-polskie-v2<br/>ROUTING-MAP]
    end

    subgraph DR["📚 Dziedziny prawa — DR-01 … DR-16"]
        D1[dr-01 ustrój] ~~~ D2[dr-02 cywilne] ~~~ D3[dr-03 karne] ~~~ DN[… dr-16 pisma/strategia]
    end

    subgraph EXEC["🛠️ Skille wykonawcze"]
        E1[pisma-procesowe-v3] ~~~ E2[analiza-sadowa-v6] ~~~ E3[analizator-umow / dowodow] ~~~ E4[raporty / przesłuchania]
    end

    subgraph SHARED["🛡️ shared/ — biblioteka współdzielona"]
        S1[PRAWO-HARDGATE v2.0<br/>ŹRÓDŁO-0: API ELI/SAOS/CELLAR] ~~~ S2[SYGNATURY v1.1<br/>FOUND / NOT_FOUND / AMBIGUOUS] ~~~ S3[WERYFIKACJA-SLAD v1.1<br/>gradient ISTNIENIE/TREŚĆ/FRAGMENT] ~~~ S4[MOD-AUDIT-BUNDLE<br/>AI Act art. 12]
    end

    AUD[📋 audyt-systemu-v4<br/>AUDIT-JOURNAL + mapa Dz.U.]

    PP --> DR
    DR --> EXEC
    ROUTING -.obowiązkowe bramki.-> SHARED
    DR -.-> SHARED
    EXEC -.-> SHARED
    AUD -. audytuje .-> ROUTING & DR & EXEC & SHARED

Przepływ sprawy: router klasyfikuje sprawę i tryb → ładuje właściwe moduły DR (lazy loading: jeden moduł = jeden akt prawny) → skill wykonawczy realizuje zadanie → każde powołanie przepisu/orzeczenia przechodzi przez bramki shared/ → wynik z widocznym śladem weryfikacji.

🔌 Kompatybilność LLM

Obie wersje — stabilna (8.09.2026) i rozwojowa — są w pełni wieloplatformowe. Ten sam zestaw skilli działa na Claude, na hostach zgodnych z OpenAI (ChatGPT, Codex, API, Atlas) oraz na Grok, bez przepisywania metodologii, HARD GATE ani bramek jakości. Działanie na Claude i ChatGPT zostało potwierdzone testami całego zestawu. Wieloplatformowość nie jest już cechą wyłącznie kanału rozwojowego: warstwa portowalności została promowana do wersji stabilnej i w obu katalogach jest identyczna co do bajtu. Skille to zwykły Markdown czytany pod wspólnym adapterem, więc nazwy operacji odziedziczone z jednego runtime są traktowane jako semantyka, nie jako wymóg konkretnego API danego dostawcy.

Grok — automatyczne pobranie z repozytorium. Grokowi wystarczy wskazać repozytorium (URL GitHub) i którą wersję ma wziąć — rozwojową (Wersja rozwojowa rozpakowana/) albo stabilną (Wersja stabilna rozpakowana 8.09.2026/) — obie niosą warstwę host-neutralną. Grok pobiera i instaluje skille samodzielnie, bez ręcznego wgrywania folderów. Reguły sterujące (odpowiednik User Preferences) wskazujesz w jego instrukcjach/personalizacji tak samo jak na pozostałych hostach — patrz Instalacja.

Warstwa portowalności — obecna w obu kanałach (stabilnym i rozwojowym):

Zasady adaptera:

• Fail-closed — jeżeli obowiązkowy zasób nie może zostać świeżo odczytany, skill zatrzymuje się; nie zastępuje go pamięcią modelu.
• Bramki bez zmian — PRAWO-HARDGATE, TEMPORAL-LAW-CHECK, LEGAL-QUALITY-GATE działają identycznie na każdym hoście. Brak natywnego generatora DOCX/PDF nie znosi walidacji — obniża jedynie format wyjścia do raportu strukturalnego.
• Prywatność — statyczne widgety i skrypty nie wysyłają danych bezpośrednio do żadnego dostawcy AI; wysyłka do zewnętrznego API tylko przez hosta i po jawnej decyzji użytkownika. Domyślna anonimizacja jest lokalna i deterministyczna.
• Ścieżki — zapis shared/PLIK.md oznacza kanoniczny zasób zainstalowanego skilla, a nie konkretny katalog systemowy; historyczne ścieżki /mnt/... są normalizowane do skill/path.

Wieloplatformowość jest pełna — i potwierdzona w praktyce. Skille to zwykły Markdown w standardzie Agent Skills; nie zawierają kodu ani wywołań API związanych z konkretnym dostawcą, więc działają na każdym hoście, który potrafi wczytać skill i wykonać operacje opisane w adapterze. Cały zestaw został przetestowany z powodzeniem na Claude i na ChatGPT — te same bramki, ta sama metodologia, ten sam wynik merytoryczny, bez żadnej wersji „portowanej" ani osobnej gałęzi kodu. Grok instaluje ten sam zestaw, pobierając go wprost z repozytorium (Krok 6).

Jedyna różnica między hostami jest rejestracyjna, nie funkcjonalna: 31 z 32 katalogów niesie agents/openai.yaml, dzięki czemu pojawia się samodzielnie w katalogu skilli hosta OpenAI; analizator-dowodow-v3 tego manifestu nie ma, więc uruchamia się przez router zamiast z listy. Analogicznie brak pola compatibility: w modułach dr-01 … dr-16 niczego nie blokuje — wymagane operacje hosta rozstrzyga wtedy adapter runtime.

📁 Struktura repozytorium

Lex-Machina/
├── README.md                                ← ten plik
├── LICENSE                                  ← GNU GPL v3
├── DOKUMENTACJA-WDROZENIOWA-2026-07-13.md   ← dokumentacja wdrożeniowa systemu
├── claude_desktop_config.json               ← przykładowa konfiguracja konektorów MCP
├── benchmark/                               ← wyniki testów na bankach kazusów (per data)
├── WERSJA STABILNA 8.09.2026/               ← skille spakowane (.zip) — wersja stabilna
├── WERSJA ROZWOJOWA/                        ← skille spakowane (.zip) — wersja rozwojowa
├── Wersja stabilna rozpakowana 8.09.2026/   ← źródła skilli — wersja stabilna
│                                              (host-neutralna: Claude / OpenAI / Grok)
└── Wersja rozwojowa rozpakowana/            ← źródła skilli — tu trafiają bieżące zmiany
    ├── shared/                              ← bramki (PRAWO-HARDGATE, SYGNATURY,
    │   │                                      WERYFIKACJA-SLAD), UNIVERSAL-RUNTIME-ADAPTER,
    │   │                                      moduły MOD-*, definicje
    │   └── tools/                           ← skrypty audytowe + mcp-servers/ (przykłady
    │                                          konektorów: ISAP/ELI, SAOS, EUR-Lex, KRS…)
    │   (każdy skill: agents/openai.yaml + PORTABILITY-MANIFEST.md — warstwa ho