{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_6t2avk7k3kg8","handle":"arxo-mcp-de-bgb","url":"https://wellknown.network/agents/arxo-mcp-de-bgb","links":{"self":"https://wellknown.network/agents/arxo-mcp-de-bgb/record.json","html":"https://wellknown.network/agents/arxo-mcp-de-bgb","markdown":"https://wellknown.network/agents/arxo-mcp-de-bgb/record.md","api":"https://wellknown.network/api/v1/agents/arxo-mcp-de-bgb","status":"https://wellknown.network/api/v1/agents/arxo-mcp-de-bgb/status","claim":"https://wellknown.network/agents/arxo-mcp-de-bgb/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/arxo-mcp-de-bgb/claim.json","badge":"https://wellknown.network/agents/arxo-mcp-de-bgb/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/arxo-mcp-de-bgb/history","tools":"https://wellknown.network/api/v1/agents/arxo-mcp-de-bgb/tools"},"ard":{"identifier":"urn:air:mcp.arxo.io:server:arxo-mcp-de-bgb","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"BGB (Germany)","summary":"German Civil Code (BGB) as executable rules: periods, deadlines and more, answered with grounds","description":"German Civil Code (BGB) as executable rules: periods, deadlines and more, answered with grounds","publisher":{"name":"io.arxo","url":null},"homepage":"https://bgb.law.arxo.io/","repository":"https://github.com/arxohq/arxo-bgb","version":"0.1.9","license":"Apache-2.0","protocols":["mcp"],"tags":["mcp","model-context-protocol","arxo","law"],"pricing":null,"endpoints":[{"url":"https://mcp.arxo.io/mcp/de-bgb","type":"mcp_streamable_http","auth":null,"probeable":true},{"url":"npm:@arxo/mcp-de-bgb","type":"package_npm","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-10-14T21:30:57.050433Z","npmKeywords":["mcp","model-context-protocol","arxo","law"],"publishedAt":"2026-10-14T21:30:57.050433Z","registryName":"io.arxo/de-bgb"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","license":"npm","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"documents.contracts","name":"Contracts & Legal","confidence":1,"provenance":"derived"},{"slug":"data.database","name":"Databases","confidence":0.933,"provenance":"derived"},{"slug":"data.vector-search","name":"Vector Search","confidence":0.583,"provenance":"derived"},{"slug":"productivity.hr","name":"HR & Recruiting","confidence":0.554,"provenance":"derived"},{"slug":"content.writing","name":"Writing & Editing","confidence":0.51,"provenance":"derived"},{"slug":"dev.package-management","name":"Packages & Dependencies","confidence":0.51,"provenance":"derived"}],"categories":["content","data","dev","documents","productivity"],"language":"en"},"observed":{"status":"live","statusReason":"Responded 5h ago.","lastOkAt":"2026-10-22T05:33:54.460Z","lastProbedAt":"2026-10-22T05:33:54.460Z","statusComputedAt":"2026-10-22T05:36:21.346Z","reliability30d":{"probes":25,"successRate":1,"p50Ms":69,"basis":"service","measures":{"availability":"availability","latency":"response time","tools":"tool surface observed","summary":"Checks reached the service itself."},"checks":{"total":25,"ok":25,"authBoundaryOk":0,"serviceOk":25,"note":"Counted from the observation rows for the window, checks of the server only (HTTP, A2A card, MCP initialize). ok = authBoundaryOk + serviceOk. `probes` is the sum of daily rollups and includes registry checks, so it can differ from `total`."}},"latestObservations":[{"at":"2026-10-22T05:33:54.460Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":69,"error":null,"detail":{"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"toolCount":20,"toolsHash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","serverName":"law-dsl-de-bgb","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-21T23:29:45.788Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":80,"error":null,"detail":{"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"toolCount":20,"toolsHash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","serverName":"law-dsl-de-bgb","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-21T17:32:31.784Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":81,"error":null,"detail":{"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"toolCount":20,"toolsHash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","serverName":"law-dsl-de-bgb","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-21T05:25:14.704Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":89,"error":null,"detail":{"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"toolCount":20,"toolsHash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","serverName":"law-dsl-de-bgb","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-20T23:25:27.615Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":94,"error":null,"detail":{"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"toolCount":20,"toolsHash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","serverName":"law-dsl-de-bgb","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-20T16:24:38.224Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":36,"error":null,"detail":{"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"toolCount":20,"toolsHash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","serverName":"law-dsl-de-bgb","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-20T09:26:33.381Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":78,"error":null,"detail":{"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"toolCount":20,"toolsHash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","serverName":"law-dsl-de-bgb","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-20T02:32:56.533Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":68,"error":null,"detail":{"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"toolCount":20,"toolsHash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","serverName":"law-dsl-de-bgb","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-19T20:30:01.379Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":65,"error":null,"detail":{"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"toolCount":20,"toolsHash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","serverName":"law-dsl-de-bgb","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-19T13:28:53.009Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":80,"error":null,"detail":{"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"toolCount":20,"toolsHash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","serverName":"law-dsl-de-bgb","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}}],"tools":[{"name":"law_search","description":"A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragmen"},{"name":"law_passport","description":"Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. "},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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."},{"name":"law_prepare_answer","description":"At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their repla"},{"name":"law_publish_answer","description":"Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret."},{"name":"law_revoke_answer","description":"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."},{"name":"law_packages","description":"The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus"},{"name":"law_ask","description":"Put a question to formalised law. When the answer is \"not established\" it carries whyNot — the engine's why_not report §185: the candidate rules and the state o"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL"},{"name":"law_rules","description":"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"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"Die Operation ask §168.4 (DECISION-0165, DECISION-0399): eine registrierte Sache eines Fallpakets über ihren verankerten Abhängigkeiten ausführen und das kanoni"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTE"},{"name":"law_process","description":"Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transition"},{"name":"law_process_run","description":"How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is th"},{"name":"law_editions","description":"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"},{"name":"law_query","description":"Eine deterministische LawQL-Abfrage über das CLIR einer Formalisierung: eine Frage an das Modell des Aktes selbst, nicht an einen Fall. Relationen: nodes(id,kin"},{"name":"law_report","description":"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 §2"}],"package":{"name":"@arxo/mcp-de-bgb","registry":"npm","observedAt":"2026-10-22T05:38:20.968Z","publishedAt":"2026-10-14T21:22:44.993Z","latestVersion":"0.1.9","weeklyDownloads":1048},"toolSurface":{"id":"ts_ngygsspyakaq","endpointId":"ep_jxdj3qa5pjh8","hash":"3ca94547627990390f291718b8b76340128fdd5ebe04ad5fb68b3c03b86d6eb1","toolCount":20,"serverName":"law-dsl-de-bgb","serverVersion":"0.1.0","protocolVersion":"2025-06-18","firstSeenAt":"2026-10-15T13:23:08.987Z","lastSeenAt":"2026-10-22T05:33:54.464Z","observations":25,"toolNames":["law_search","law_passport","law_answer_capabilities","law_capture_answer","law_prepare_answer","law_publish_answer","law_revoke_answer","law_packages","law_ask","law_screen","law_rules","law_explain","law_case_ask","law_sources","law_argue","law_process","law_process_run","law_editions","law_query","law_report"],"distinctSurfaces":1},"endpointFacts":[{"id":"ep_jxdj3qa5pjh8","url":"https://mcp.arxo.io/mcp/de-bgb","type":"mcp_streamable_http","factsCheckedAt":"2026-10-19T20:30:01.419Z","auth":{"observedAt":"2026-10-19T20:30:01.437Z","authRequired":false,"scheme":null,"resourceMetadata":null,"authorizationServer":null,"conformance":{"dpop":false,"rfc8414":false,"rfc9728":false,"pkceS256":false,"clientIdMetadataDocument":false,"dynamicClientRegistration":false}},"tls":{"observedAt":"2026-10-19T20:30:01.560Z","protocol":"TLSv1.3","chainValid":true,"chainError":null,"hostMatches":true,"subject":"mcp.arxo.io","issuer":{"commonName":"YR1","organization":"Let's Encrypt"},"validFrom":"2026-08-31T11:35:05.000Z","validTo":"2026-11-29T11:35:04.000Z","daysToExpiry":38,"sanCount":1,"fingerprint256":"C5:16:16:06:FB:72:82:C3:96:54:68:F8:50:0A:97:A3:14:01:7B:C5:40:2F:91:19:46:39:B8:F1:F2:4E:30:2D"}}]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.arxo/de-bgb","url":"https://registry.modelcontextprotocol.io/v0/servers/io.arxo%2Fde-bgb","firstSeenAt":"2026-10-15T13:18:21.716Z","fetchedAt":"2026-10-22T08:19:11.546Z","normalizedAt":"2026-10-22T08:19:11.546Z"},{"source":"npm","key":"@arxo/mcp-de-bgb","url":"https://www.npmjs.com/package/@arxo/mcp-de-bgb","firstSeenAt":"2026-10-14T11:17:27.561Z","fetchedAt":"2026-10-21T20:19:06.614Z","normalizedAt":"2026-10-21T20:19:06.614Z"}]},"firstSeenAt":"2026-10-14T11:17:27.561Z","updatedAt":"2026-10-22T05:38:20.968Z"}