{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_yzfmbjjn9krz","handle":"arxo-mcp-picc","url":"https://wellknown.network/agents/arxo-mcp-picc","links":{"self":"https://wellknown.network/agents/arxo-mcp-picc/record.json","html":"https://wellknown.network/agents/arxo-mcp-picc","markdown":"https://wellknown.network/agents/arxo-mcp-picc/record.md","api":"https://wellknown.network/api/v1/agents/arxo-mcp-picc","status":"https://wellknown.network/api/v1/agents/arxo-mcp-picc/status","claim":"https://wellknown.network/agents/arxo-mcp-picc/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/arxo-mcp-picc/claim.json","badge":"https://wellknown.network/agents/arxo-mcp-picc/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/arxo-mcp-picc/history","tools":"https://wellknown.network/api/v1/agents/arxo-mcp-picc/tools"},"ard":{"identifier":"urn:air:mcp.arxo.io:server:arxo-mcp-picc","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"UNIDROIT Principles 2016","summary":"UNIDROIT Principles 2016 as executable rules: closed questions answered with grounds and source text","description":"UNIDROIT Principles 2016 as executable rules: closed questions answered with grounds and source text","publisher":{"name":"io.arxo","url":null},"homepage":"https://picc.law.arxo.io/","repository":"https://github.com/arxohq/arxo-unidroit-picc","version":"0.3.11","license":"Apache-2.0","protocols":["mcp"],"tags":["mcp","model-context-protocol","arxo","law"],"pricing":null,"endpoints":[{"url":"https://mcp.arxo.io/mcp/picc","type":"mcp_streamable_http","auth":null,"probeable":true},{"url":"npm:@arxo/mcp-picc","type":"package_npm","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-10-14T21:30:51.088425Z","npmKeywords":["mcp","model-context-protocol","arxo","law"],"publishedAt":"2026-10-14T21:30:51.088425Z","registryName":"io.arxo/picc"},"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":"dev.package-management","name":"Packages & Dependencies","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"}],"categories":["content","data","dev","documents","productivity"],"language":"fr"},"observed":{"status":"live","statusReason":"Responded 1h ago.","lastOkAt":"2026-10-22T14:25:24.620Z","lastProbedAt":"2026-10-22T14:25:24.620Z","statusComputedAt":"2026-10-22T14:30:09.732Z","reliability30d":{"probes":162,"successRate":0.9815,"p50Ms":18,"basis":"service","measures":{"availability":"availability","latency":"response time","tools":"tool surface observed","summary":"Checks reached the service itself."},"checks":{"total":163,"ok":160,"authBoundaryOk":0,"serviceOk":160,"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-22T15:30:35.400Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":17,"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":"The ask operation §168.4 (DECISION-0165, DECISION-0399): run a registered case of a case package over its pinned dependencies and return the canonical evaluatio"},{"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":"A deterministic LawQL query over the CLIR of a formalization: a question about the model of the act itself, not about a case. Relations: nodes(id,kind,package,p"},{"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":"70220486f5e853e69a1b3a99d7625905d7fa14acdc1cda506747c22928b717d9","serverName":"law-dsl-picc","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-22T14:25:24.620Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":153,"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":"The ask operation §168.4 (DECISION-0165, DECISION-0399): run a registered case of a case package over its pinned dependencies and return the canonical evaluatio"},{"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":"A deterministic LawQL query over the CLIR of a formalization: a question about the model of the act itself, not about a case. Relations: nodes(id,kind,package,p"},{"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":"70220486f5e853e69a1b3a99d7625905d7fa14acdc1cda506747c22928b717d9","serverName":"law-dsl-picc","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-22T13:27:52.517Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":18,"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":"The ask operation §168.4 (DECISION-0165, DECISION-0399): run a registered case of a case package over its pinned dependencies and return the canonical evaluatio"},{"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":"A deterministic LawQL query over the CLIR of a formalization: a question about the model of the act itself, not about a case. Relations: nodes(id,kind,package,p"},{"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":"70220486f5e853e69a1b3a99d7625905d7fa14acdc1cda506747c22928b717d9","serverName":"law-dsl-picc","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-22T10:33:50.455Z","kind":"mcp_initialize","ok":false,"httpStatus":null,"latencyMs":null,"error":"timeout","detail":null},{"at":"2026-10-22T08:26:33.161Z","kind":"mcp_initialize","ok":false,"httpStatus":null,"latencyMs":null,"error":"timeout","detail":null},{"at":"2026-10-22T07:26:59.160Z","kind":"mcp_initialize","ok":false,"httpStatus":null,"latencyMs":null,"error":"timeout","detail":null},{"at":"2026-10-22T06:25:20.626Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":18,"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":"The ask operation §168.4 (DECISION-0165, DECISION-0399): run a registered case of a case package over its pinned dependencies and return the canonical evaluatio"},{"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":"A deterministic LawQL query over the CLIR of a formalization: a question about the model of the act itself, not about a case. Relations: nodes(id,kind,package,p"},{"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":"70220486f5e853e69a1b3a99d7625905d7fa14acdc1cda506747c22928b717d9","serverName":"law-dsl-picc","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-22T05:31:06.533Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":14,"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":"The ask operation §168.4 (DECISION-0165, DECISION-0399): run a registered case of a case package over its pinned dependencies and return the canonical evaluatio"},{"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":"A deterministic LawQL query over the CLIR of a formalization: a question about the model of the act itself, not about a case. Relations: nodes(id,kind,package,p"},{"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":"70220486f5e853e69a1b3a99d7625905d7fa14acdc1cda506747c22928b717d9","serverName":"law-dsl-picc","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-22T04:25:44.750Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":50,"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":"The ask operation §168.4 (DECISION-0165, DECISION-0399): run a registered case of a case package over its pinned dependencies and return the canonical evaluatio"},{"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":"A deterministic LawQL query over the CLIR of a formalization: a question about the model of the act itself, not about a case. Relations: nodes(id,kind,package,p"},{"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":"70220486f5e853e69a1b3a99d7625905d7fa14acdc1cda506747c22928b717d9","serverName":"law-dsl-picc","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-22T03:29:18.136Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":20,"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":"The ask operation §168.4 (DECISION-0165, DECISION-0399): run a registered case of a case package over its pinned dependencies and return the canonical evaluatio"},{"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":"A deterministic LawQL query over the CLIR of a formalization: a question about the model of the act itself, not about a case. Relations: nodes(id,kind,package,p"},{"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":"70220486f5e853e69a1b3a99d7625905d7fa14acdc1cda506747c22928b717d9","serverName":"law-dsl-picc","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":"The ask operation §168.4 (DECISION-0165, DECISION-0399): run a registered case of a case package over its pinned dependencies and return the canonical evaluatio"},{"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":"A deterministic LawQL query over the CLIR of a formalization: a question about the model of the act itself, not about a case. Relations: nodes(id,kind,package,p"},{"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-picc","registry":"npm","observedAt":"2026-10-22T14:32:27.025Z","publishedAt":"2026-10-14T21:09:44.361Z","latestVersion":"0.3.11","weeklyDownloads":130},"toolSurface":{"id":"ts_hkcdyygvsnkv","endpointId":"ep_je3t74xac8uk","hash":"70220486f5e853e69a1b3a99d7625905d7fa14acdc1cda506747c22928b717d9","toolCount":20,"serverName":"law-dsl-picc","serverVersion":"0.1.0","protocolVersion":"2025-06-18","firstSeenAt":"2026-10-15T13:23:09.146Z","lastSeenAt":"2026-10-22T15:30:35.409Z","observations":160,"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_je3t74xac8uk","url":"https://mcp.arxo.io/mcp/picc","type":"mcp_streamable_http","factsCheckedAt":"2026-10-21T16:32:39.421Z","auth":{"observedAt":"2026-10-21T16:32:39.436Z","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-21T16:32:39.468Z","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":37,"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":true,"claimedAt":"2026-10-15T13:27:27.005Z","proofs":[{"method":"github_owner","target":"arxohq","verifiedAt":"2026-10-15T13:27:27.005Z"}]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.arxo/picc","url":"https://registry.modelcontextprotocol.io/v0/servers/io.arxo%2Fpicc","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-picc","url":"https://www.npmjs.com/package/@arxo/mcp-picc","firstSeenAt":"2026-09-26T23:18:33.813Z","fetchedAt":"2026-10-22T04:17:49.516Z","normalizedAt":"2026-10-22T04:17:49.516Z"}]},"firstSeenAt":"2026-09-26T23:18:33.813Z","updatedAt":"2026-10-22T14:32:27.025Z"}