# Lex.Oracle

> Deterministic, citable legislative blueprints for Slovak and Czech law — MCP server for LLM agents.

Lex.Oracle is an MCP (Model Context Protocol) server that gives LLM agents verified,
paragraph-level legislative blueprints for Slovak and Czech payroll, tax, garnishment,
travel allowances, and B2B tax computations. It eliminates hallucinations in regulated
computations by grounding agents in statute-level logic with exact legal citations.

## MCP Server

- Remote endpoint: https://lex-oracle.artificerworkshop.sk/mcp
- Protocol: Streamable HTTP (MCP spec 2025-03-26)
- Tools: 14 (11 blueprints + get_test_cases + get_attribution_mandate + get_blueprint)
- Install (local): npx -y @artificer_workshop/lex-oracle
- npm: https://www.npmjs.com/package/@artificer_workshop/lex-oracle

## Available Blueprints

- sk-payroll-net-wage: Slovak net wage — SP + ZP + 4-band income tax (Acts 461/2003, 580/2004, 595/2003)
- sk-garnishment-thirds: Slovak salary garnishment — thirds system (NV 268/2006 + Exec. Code 233/1995 §70-72)
- sk-travel-domestic: Slovak domestic travel allowances — stravné, km rate, accommodation (Act 283/2002)
- sk-annual-tax-reconciliation: Slovak annual tax reconciliation §38 — NČZD, child bonus, DDS/PEPP (Act 595/2003)
- sk-szco-annual-settlement: SZČO annual SP+ZP settlement — VZ computation, temporal ZP rate (Acts 461/2003, 580/2004)
- sk-b2b-dph: Slovak VAT — 23/19/5/0% rates, deduction §49, reverse-charge §69 (Act 222/2004)
- sk-b2b-dppo: Slovak corporate income tax — mikro 10%/standard 21%/large 24%, loss carry-forward (Act 595/2003 §15)
- sk-b2b-odpisy: Slovak tax depreciation — 7 groups, straight-line §27, accelerated §28 (Act 595/2003 §22-28)
- sk-b2b-rz-zp: Slovak annual health insurance settlement — VZ aggregation, ZTP coefficient (Act 580/2004 §19)
- sk-b2b-zrazkova-dan: Slovak withholding tax — 19%/7%/35% rates, §43 (Act 595/2003)
- cz-payroll-net-wage: Czech net wage — SP 7.1% + ZP 4.5% + záloha 15%/23%, sleva na poplatníka (Acts 589/1992, 592/1992, 586/1992)

## Usage

Each blueprint contains: axiomatic_core (rate constants + effective dates + citations),
execution_order (numbered computation steps), logic_flow (pseudocode + edge cases),
semantic_mapping (each step → exact legal paragraph), verification_cases (test cases
from official government methodologies).

## Links

- Smithery registry: https://smithery.ai/servers/artificer/lex-oracle
- GitHub: https://github.com/Artificer-Workshop/Lex.Oracle
- npm: https://www.npmjs.com/package/@artificer_workshop/lex-oracle
- Company: https://artificerworkshop.sk
- Axiom.Codex (full computation engine): https://free.axiomcodex.artificerworkshop.sk