MCP Server · SK / CZ

Lex.Oracle

Deterministic, citable legislative blueprints for Slovak and Czech law. Give your LLM agent a law to stand on.

What it is

No hallucinations in regulated law

LLMs tend to fabricate rates, miss statutory exceptions, and round incorrectly. Lex.Oracle gives them verified blueprints — step-by-step logic with citations tied to exact paragraphs of the law.

⚖️

Paragraph-level citations

Every computation step is tied to a specific paragraph of the act — verifiable, auditable.

🔒

Deterministic output

Same input = same result every time. Rates and rules are compiled into blueprints, not generated.

🔌

MCP native

Model Context Protocol — works in Claude Desktop, Cursor, Zed, and any MCP-compatible client.

# Claude Desktop (local)
{
  "mcpServers": {
    "lex-oracle": {
      "command": "npx",
      "args": ["-y", "@artificer_workshop/lex-oracle"]
    }
  }
}

# Remote server (no install)
{ "mcpServers": { "lex-oracle": { "url": "https://lex-oracle.artificerworkshop.sk/mcp" } } }

Available Blueprints

11 verified blueprints

Each blueprint contains axioms (rates + citations), logic flow, semantic mapping to statutes, and verification cases from official methodologies.

sk-payroll-net-wage Net Wage (SP + ZP + Tax)

sk-garnishment-thirds Salary Garnishment — Thirds System

sk-travel-domestic Domestic Travel Allowances (Act 283/2002)

sk-annual-tax-reconciliation Annual Tax Reconciliation §38

sk-szco-annual-settlement SZČO Annual Insurance Settlement

sk-b2b-dph VAT — Rates & Deduction (Act 222/2004)

sk-b2b-dppo Corporate Income Tax (Act 595/2003)

sk-b2b-odpisy Tax Depreciation — 7 Groups

sk-b2b-rz-zp Annual Health Insurance Settlement

sk-b2b-zrazkova-dan Withholding Tax §43

cz-payroll-net-wage CZ Net Wage (SP + ZP + Advance Tax)