io.arxo/de-bgb

up checked 2026-11-11T06:38:48.896Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

BGB (Germany)

Publisher-provided description

German Civil Code (BGB) as executable rules: periods, deadlines and more, answered with grounds

Summary by lookupd

Queries formalised German Civil Code provisions to answer legal questions on periods and deadlines, with traceable grounds for each answer.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http de-bgb https://mcp.arxo.io/mcp/de-bgb

Claude Code, npm package (stdio)

claude mcp add de-bgb -- npx -y @arxo/mcp-de-bgb

Codex, remote (streamable-http)

codex mcp add de-bgb --url https://mcp.arxo.io/mcp/de-bgb

Codex, npm package (stdio)

codex mcp add de-bgb -- npx -y @arxo/mcp-de-bgb

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "de-bgb": {
      "url": "https://mcp.arxo.io/mcp/de-bgb"
    }
  }
}

Cursor, npm package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "de-bgb": {
      "command": "npx",
      "args": [
        "-y",
        "@arxo/mcp-de-bgb"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (21 tools)

Publisher-provided text

• law_search A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen
• law_passport Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included.
• law_answer_capabilities A machine-readable matrix of the Lens producers that are actually installed, of replay/projection checks, profiles, limits and the contract tests that confirm t
• law_capture_answer Run a registered producer and obtain producerControl/0.2 for a later verifiable preparation of a Lens. The producer is chosen only from the shipped registry.
• law_prepare_answer At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls, compare their replayControl strictly, and prepare a non-p
• law_publish_answer Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret.
• law_revoke_answer Revoke a published document using its separate secret. The public id alone grants no control; revocation closes the HTML page, the API and the download.
• law_packages The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus
• law_ask Put a question to formalised law. When the answer is "not established" it carries whyNot — the engine's why_not report: the candidate rules and the state of eve
• law_screen Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is
• law_rules The rules of formalised law put into words: exactly how a predicate is derived (premises, source articles). Call this BEFORE supplying facts to law_ask — the ru
• law_explain Unfold the proof of a law_ask answer into a chain "rule ← premises → conclusion". The compact input: question (the original law_ask arguments, truth/collect), r
• law_inspect Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue
• law_case_ask Die Operation ask: eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und die Antwort zurückgeben: standardmäßig eine Proj
• law_sources Sources: by default short excerpts (view=summary), 5 texts per page, with the address of the full text in fragments[].full. Either package or fragment is requir
• law_argue How robust a conclusion is: the map of the dispute under the argumentation profile The answer falls into four classes: SKEPTICALLY_ACCEPTED — the conclusion is
• law_process Which stages the procedure established by an instrument consists of, and whether it carries a structural defect. The stages, the transitions and the condition o
• law_process_run How a particular case will run, step by step: a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is the law of ITS date. Th
• law_editions The axis of editions (O-2): what changed in an instrument between two dates of the law — the state of the editions, the dating of the norms and the semantic dif
• law_query Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen (14): anchors
• law_report A REPORT of a divergence between the formalisation and the source: the answer contradicts the pinned text, a norm of the source is not expressed by a rule, a la

Details

• Version: 0.1.9
• Transports: streamable-http, stdio
• Uptime (7 days): 100%
• Median latency: 768 ms
• First indexed: 2026-11-01T09:02:53.394Z
• Last seen in registry: 2026-11-01T09:02:53.403Z
• Repository: https://github.com/arxohq/arxo-bgb
• Website: https://bgb.law.arxo.io/

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.arxo/de-bgb.svg)](https://lookupd.com/servers/io.arxo/de-bgb)

• 62141 servers
• Last crawl: 2026-11-11T18:39:04.612Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp