UNIDROIT Principles 2016

{
  "mcpServers": {
    "io.arxo/picc": {
      "url": "https://mcp.arxo.io/mcp/picc"
    }
  }
}

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 64300cd90c2a…

  View input schema

  {
    "type": "object",
    "properties": {
      "args": {
        "description": "the arguments of the predicate",
        "type": "array"
      },
      "context": {
        "additionalProperties": false,
        "description": "Explicit temporal context: timezone is an IANA name; decisionTime and knowledgeTime are complete Instants with UTC or an offset, preserved unchanged. legalTime is also required with context; a profile may require all these fields",
        "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
  }