Konštitučné jadro
Päť neporušiteľných axiómov, zapečatených cez SHA-256 pri štarte. Všetko-alebo-nič: ak zlyhá čo i len jeden, úloha je zamietnutá — žiadny override, žiadny profil, žiadna výnimka.
Bezpečnostný pás pre autonómnu AI
Bezpečnostná infraštruktúra pre autonómnu AI.
Kovrin stojí medzi vašimi AI agentmi a reálnym svetom — vynucuje konštitučné limity, deterministicky smeruje riziko, pozastavuje akcie na ľudské schválenie a zaznamenáva každé rozhodnutie do auditného záznamu odolného voči manipulácii. Obalí LangGraph, CrewAI či akýkoľvek agentový stack.
Funguje s LangGraph · CrewAI · vašimi vlastnými agentmi
Čo je Kovrin
Kovrin nie je chatbot framework ani all-in-one runtime. Je to bezpečnostná infraštruktúra — ako bezpečnostný pás, nie auto. Vaši agenti si zachovajú autonómiu; Kovrin dbá na to, aby neprekročili hranicu, ktorú nemajú.
- 5
- Konštitučné axiómy, zapečatené cez SHA-256
- 8
- TLA+ špecifikácie · 10 dokázaných invariantov
- 4×3
- Deterministická matica smerovania rizika
- Append-only
- Merkle audit, odolný voči manipulácii
Ako to funguje
Jeden pipeline. Prejde ním každý zámer.
Žiadne bočné dvierka. Každá požiadavka — od človeka aj od agenta — sa rozparsuje, posúdia ju nezávislí kritici, skontroluje sa voči konštitúcii, nasmeruje podľa rizika, vykoná a zapečatí do auditného reťazca.
- 01 Zámer
- 02 Kritici
- 03 Konštitučné jadro
- 04 Smerovač rizika
- 05 Vykonanie
- 06 Merkle audit
Prečo je inýLayer 0 
Smerovanie
Audit
Dokázané
Vykonávanie
Kontrola
Mantinely zabudované zvnútra, nie prilepené.
Deterministické smerovanie rizika
Každá akcia je ohodnotená a nasmerovaná pevnou maticou. Riziko CRITICAL ide vždy k človeku — natvrdo, bez možnosti konfigurácie.
Záznam odolný voči manipulácii
Append-only Merkle hash reťazec. Každé rozhodnutie sa dá spätne dohľadať až k pôvodnému zámeru — a akákoľvek manipulácia je detekovateľná.
Formálna verifikácia
Osem TLA+ špecifikácií, desať invariantov. Bezpečnostné vlastnosti sú matematicky dokázané, nielen otestované.
Orchestrácia s mantinelmi
Plány sa rozložia do DAG a bežia paralelne — vždy vnútri bezpečnostnej obálky, nikdy mimo nej.
Človek v slučke ako default
Nezvratné alebo vysoko rizikové akcie sa pozastavia na výslovné schválenie. Autonómia je opt-in pre každú schopnosť — nikdy sa nepredpokladá.
Navrhnuté pre regulovaný svet.
V súlade s EU AI Act · Články 9 · 12 · 14 · 15
Ozvite sa
Chcete, aby Kovrin strážil vašich agentov?
Povedzte nám o vašom agentovom stacku a o tom, čo potrebujete udržať pod kontrolou. Ukážeme vám, ako sa Kovrin zapojí.
hello@kovrin.dev