BGB (Germany)

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

Indexed tools

Tool metadata and schemas come from the remote server and are untrusted. Indexing only lists tools; it never calls them.

21 shown · authentication unknown

• 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 them. declared_only means a schema with no executable witness.

  Schema valid · SHA-256 67cabc3a8399…

  View input schema

  {
    "type": "object",
    "additionalProperties": false
  }

• 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 invulnerable (it survives in the grounded extension); CREDULOUSLY_ACCEPTED — merely defensible (there is a position for it and a position against); REJECTED — it survives nowhere; NO_ARGUMENT — there are no arguments at all. It builds ALL arguments out of the facts and the rules of the instrument (chains that did not fire in ordinary inference included), the rebut/undermine/undercut attacks and the defeats by priority. Predicate names come from law_packages. On large instruments a refusal by cap is possible — narrow facts or raise limits.maxArguments.

  Schema valid · SHA-256 9c72f2f0affb…

  View input schema

  {
    "type": "object",
    "properties": {
      "args": {
        "description": "the arguments of the predicate",
        "type": "array"
      },
      "context": {
        "additionalProperties": false,
        "description": "Expliziter Zeitkontext: timezone ist ein IANA-Name; decisionTime und knowledgeTime sind vollständige Instants mit UTC oder Offset und werden unverändert übernommen. Mit context ist legalTime erforderlich; ein Profil kann alle Felder verlangen",
        "properties": {
          "decisionTime": {
            "type": "string"
          },
          "knowledgeTime": {
            "type": "string"
          },
          "timezone": {
            "type": "string"
          }
        },
        "required": [
          "timezone",
          "decisionTime",
          "knowledgeTime"
        ],
        "type": "object"
      },
      "facts": {
        "description": "facts of the case: [{predicate, args, provenance, negated?}]. provenance is a required object; {} is allowed, its fields are optional, and evidence is not required. The package EvidencePolicy reads confidence, not the host",
        "items": {
          "properties": {
            "args": {
              "type": "array"
            },
            "predicate": {
              "type": "string"
            },
            "provenance": {
              "type": "object"
            }
          },
          "required": [
            "predicate",
            "args",
            "provenance"
          ],
          "type": "object"
        },
        "type": "array"
      },
      "legalTime": {
        "description": "the date of the law (YYYY-MM-DD)",
        "type": "string"
      },
      "limits": {
        "description": "the caps of the profile: maxArguments (64), maxExtensions (8), maxUndecided (16)",
        "type": "object"
      },
      "package": {
        "description": "narrow the question to one package of law",
        "type": "string"
      },
      "predicate": {
        "description": "the conclusion whose robustness is being measured",
        "type": "string"
      }
    },
    "required": [
      "predicate"
    ],
    "additionalProperties": false
  }