lex-oracle
Deterministic, citable legislative blueprints for Slovak and Czech law. Eliminates LLM hallucinations in regulated payroll, tax, garnishment, travel, and B2B computations.
How to connect
https://lex-oracle--artificer.run.tools
tools/list returns the expected tools before relying on them in production.Tools
(14)-
list_blueprintsList all blueprints available in Lex.Oracle. Each entry contains: id, title, jurisdiction, status, version, summary.
-
get_blueprintRetrieve a complete legislative blueprint by blueprint_id. The blueprint contains: axiomatic_core (rate constants with effective dates), execution_order (numbered steps), logic_flow (pseudocode + edge cases per step), semantic_mapping (each step → exact legal citation), and verification_cases (test cases from official government methodologies). The response includes a human-readable 'presentation' field and an attribution_mandate.
-
get_garnishment_logicRetrieve the complete blueprint for Slovak salary garnishment — the thirds system (NV 268/2006 + Execution Code 233/1995 §70–§72). Covers: non-deductible base, dependant increments, thirds split, over-limit portion, and distribution across multiple executions. Shortcut for get_blueprint(blueprint_id='sk-garnishment-thirds').
-
get_travel_logicRetrieve the complete blueprint for Slovak domestic travel allowances — Act 283/2002 (meal allowances §5, vehicle km reimbursement §7, accommodation passthrough §8, miscellaneous passthrough §9). Covers: time-band stravné selection, km rate, meal deduction edge case (deductions use the 18+ h rate, NOT the actual band rate), and total claim assembly. Shortcut for get_blueprint(blueprint_id='sk-travel-domestic').
-
get_annual_tax_reconciliation_logicRetrieve the complete blueprint for Slovak annual tax reconciliation — §38 Zákon 595/2003 Z.z. (ročné zúčtovanie preddavkov na daň zo závislej činnosti). Covers: 12-month aggregation, NČZD na daňovníka (§11 ods. 2), NČZD na manžela (§11 ods. 3), DDS/PEPP (§11 ods. 8, max 180 EUR), annual tax §15, child bonus §33, settlement vs advances (§38 ods. 6). Shortcut for get_blueprint(blueprint_id='sk-annual-tax-reconciliation').
-
get_szco_annual_settlement_logicRetrieve the complete blueprint for Slovak SZČO annual insurance settlement — 461/2003 Z.z. §138 ods. 2 (SP) + 580/2004 Z.z. §13 ods. 2 + §19 (ZP). Covers: VZ = (ZD + paid SP + paid ZP) / 1.486 / divisor, SP rates 33.15% (nemocenské 4.4% + starobné 18% + invalidné 6% + rezervný fond 4.75%), ZP rate temporal (14% to 2025 / 16% 2026–2027 §38ezk / 15% from 2028), min/max VZ clamping, partial-year handling (SP always /12, ZP /months). Shortcut for get_blueprint(blueprint_id='sk-szco-annual-settlemen
-
get_b2b_dph_logicRetrieve the complete blueprint for Slovak VAT (DPH) — Zákon 222/2004 Z. z. Covers: §27 sadzby (zákl. 23 %, stredná 19 %, znížená 5 %, nulová 0 % od 2025-01-01), daň na výstupe §19, odpočet §49 (plný/krátený), koeficient §50 (ceiling 2dp), reverse-charge §69, EU intra-community §43/§11. Shortcut for get_blueprint(blueprint_id='sk-b2b-dph').
-
get_b2b_dppo_logicRetrieve the complete blueprint for Slovak corporate income tax (DPPO) — Zákon 595/2003 Z. z. §15 v znení od 2025-01-01 (novela 278/2024). Covers: 3 sadzby (mikro 10 % ≤ 60 000 EUR / štandard 21 % / veľká 24 % > 5 mil. EUR), základ dane §17, umorenie straty §30 (max 50 % ZD, 5 rokov), preddavky §42. Shortcut for get_blueprint(blueprint_id='sk-b2b-dppo').
-
get_b2b_odpisy_logicRetrieve the complete blueprint for Slovak tax depreciation — Zákon 595/2003 Z. z. §22-§28. Covers: 7 odpisových skupín (2/4/6/8/12/20/40 rokov), rovnomerné §27 s pomerom v 1. roku ((13−mesiac)/12), zrýchlené §28 iba sk. 2 a 3 (koeficienty 6/7 a 8/9), nehmotný majetok §22 ods. 8 (max 5 rokov lineárne). Shortcut for get_blueprint(blueprint_id='sk-b2b-odpisy').
-
get_b2b_rz_zp_logicRetrieve the complete blueprint for Slovak annual health-insurance settlement (RZ ZP) — Zákon 580/2004 Z. z. §19. Covers: agregácia VZ (zamestnanec, SZČO, dividendy, iné), temporal sadzba SZČO (14 % do 2025 / 16 % v 2026–2027 §38ezk prechodné / 15 % od 2028), dividendy §10b 14 % nemenné, ZŤP koef. 0.5, rozdiel preplatok/nedoplatok, hranica 1 EUR §19 ods. 6. Shortcut for get_blueprint(blueprint_id='sk-b2b-rz-zp').
-
get_b2b_zrazkova_dan_logicRetrieve the complete blueprint for Slovak withholding tax — Zákon 595/2003 Z. z. §43. Covers: štandard 19 % (úroky, licenčné, dividendy PO), dividendy FO 7 % od 2017, override 35 % pre nespolupracujúce štáty §43 ods. 2, splatnosť 15. deň nasl. mesiaca §43 ods. 11. Shortcut for get_blueprint(blueprint_id='sk-b2b-zrazkova-dan').
-
get_cz_payroll_logicRetrieve the complete blueprint for Czech net wage calculation — Zákon 589/1992 Sb. (SP 7.1% = 6.5% důchodové + 0.6% nemocenské od 2024-01-01) + Zákon 592/1992 Sb. (ZP 4.5%, min. základ = minimální mzda) + Zákon 586/1992 Sb. (záloha na daň 15%/23%, sleva na poplatníka 2 570 CZK/měsíc, superhrubá zrušena od 2021-01-01, všechny složky ceiling na celé CZK). 4 verifikační případy: standard 30 000 / min. mzda / vyšší příjem / bez prohlášení. Shortcut for get_blueprint(blueprint_id='cz-payroll-net-wag
-
get_test_casesRetrieve verification_cases for a given blueprint_id. Each case contains: input, expected_output, and legal_reasoning. Useful for test-driven implementation or spot-checking a completed implementation.
-
get_attribution_mandateRetrieve the required attribution text for a given blueprint_id. When blueprint content is used to generate code or an answer for an end user, the LLM should include this text in human-readable form in the output.