{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_kud655c3hcym","handle":"fide-laws-of-chess","url":"https://wellknown.network/agents/fide-laws-of-chess","links":{"self":"https://wellknown.network/agents/fide-laws-of-chess/record.json","html":"https://wellknown.network/agents/fide-laws-of-chess","markdown":"https://wellknown.network/agents/fide-laws-of-chess/record.md","api":"https://wellknown.network/api/v1/agents/fide-laws-of-chess","status":"https://wellknown.network/api/v1/agents/fide-laws-of-chess/status","claim":"https://wellknown.network/agents/fide-laws-of-chess/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/fide-laws-of-chess/claim.json","badge":"https://wellknown.network/agents/fide-laws-of-chess/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/fide-laws-of-chess/history","tools":"https://wellknown.network/api/v1/agents/fide-laws-of-chess/tools"},"ard":{"identifier":"urn:air:mcp.arxo.io:server:fide-laws-of-chess","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"FIDE Laws of Chess","summary":"FIDE Laws of Chess (2023) as an executable model: arbiter cases, answers with rules and judgments","description":"FIDE Laws of Chess (2023) as an executable model: arbiter cases, answers with rules and judgments","publisher":{"name":"io.arxo","url":null},"homepage":"https://github.com/arxohq/arxo-fide-chess","repository":"https://github.com/arxohq/arxo-fide-chess","version":"0.1.1","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://mcp.arxo.io/mcp/fide-chess","type":"mcp_streamable_http","auth":null,"probeable":true},{"url":"npm:@arxo/mcp-fide-chess","type":"package_npm","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-10-14T21:30:58.90048Z","publishedAt":"2026-10-14T21:30:58.90048Z","registryName":"io.arxo/fide-chess"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","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":"ai.evaluation","name":"Evaluation & Benchmarks","confidence":0.554,"provenance":"derived"},{"slug":"content.writing","name":"Writing & Editing","confidence":0.51,"provenance":"derived"}],"categories":["ai","content","data","dev","documents","productivity"],"language":"en"},"observed":{"status":"live","statusReason":"Responded 4h ago.","lastOkAt":"2026-10-23T04:27:34.926Z","lastProbedAt":"2026-10-23T04:27:34.926Z","statusComputedAt":"2026-10-23T04:29:44.214Z","reliability30d":{"probes":27,"successRate":0.963,"p50Ms":65,"basis":"service","measures":{"availability":"availability","latency":"response time","tools":"tool surface observed","summary":"Checks reached the service itself."},"checks":{"total":27,"ok":26,"authBoundaryOk":0,"serviceOk":26,"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-23T04:27:34.926Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":70,"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, compare their replayControl strictly, and prepare a non-p"},{"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: the candidate rules and the state of eve"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is "},{"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_inspect","description":"Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue"},{"name":"law_case_ask","description":"The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation documen"},{"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_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 (14): anchors, edges, fi"}],"toolCount":16,"toolsHash":"720eeb5e03613d6649a5c806130d85c68c1cbb5ea37bbe4d66236ea5f2f03131","serverName":"arxo-fide-chess-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-22T22:27:20.858Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":43,"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, compare their replayControl strictly, and prepare a non-p"},{"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: the candidate rules and the state of eve"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is "},{"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_inspect","description":"Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue"},{"name":"law_case_ask","description":"The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation documen"},{"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_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 (14): anchors, edges, fi"}],"toolCount":16,"toolsHash":"720eeb5e03613d6649a5c806130d85c68c1cbb5ea37bbe4d66236ea5f2f03131","serverName":"arxo-fide-chess-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-22T08:29:26.501Z","kind":"mcp_initialize","ok":false,"httpStatus":null,"latencyMs":null,"error":"timeout","detail":null},{"at":"2026-10-22T01:35:01.221Z","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, compare their replayControl strictly, and prepare a non-p"},{"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: the candidate rules and the state of eve"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is "},{"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_inspect","description":"Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue"},{"name":"law_case_ask","description":"The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation documen"},{"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_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 (14): anchors, edges, fi"}],"toolCount":16,"toolsHash":"720eeb5e03613d6649a5c806130d85c68c1cbb5ea37bbe4d66236ea5f2f03131","serverName":"arxo-fide-chess-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-21T18:32:08.577Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":76,"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, compare their replayControl strictly, and prepare a non-p"},{"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: the candidate rules and the state of eve"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is "},{"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_inspect","description":"Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue"},{"name":"law_case_ask","description":"The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation documen"},{"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_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 (14): anchors, edges, fi"}],"toolCount":16,"toolsHash":"720eeb5e03613d6649a5c806130d85c68c1cbb5ea37bbe4d66236ea5f2f03131","serverName":"arxo-fide-chess-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-21T09:35:38.745Z","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, compare their replayControl strictly, and prepare a non-p"},{"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: the candidate rules and the state of eve"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is "},{"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_inspect","description":"Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue"},{"name":"law_case_ask","description":"The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation documen"},{"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_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 (14): anchors, edges, fi"}],"toolCount":16,"toolsHash":"720eeb5e03613d6649a5c806130d85c68c1cbb5ea37bbe4d66236ea5f2f03131","serverName":"arxo-fide-chess-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-21T01:27:32.916Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":79,"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, compare their replayControl strictly, and prepare a non-p"},{"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: the candidate rules and the state of eve"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is "},{"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_inspect","description":"Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue"},{"name":"law_case_ask","description":"The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation documen"},{"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_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 (14): anchors, edges, fi"}],"toolCount":16,"toolsHash":"720eeb5e03613d6649a5c806130d85c68c1cbb5ea37bbe4d66236ea5f2f03131","serverName":"arxo-fide-chess-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-20T18:27:59.896Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":57,"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, compare their replayControl strictly, and prepare a non-p"},{"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: the candidate rules and the state of eve"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is "},{"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_inspect","description":"Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue"},{"name":"law_case_ask","description":"The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation documen"},{"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_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 (14): anchors, edges, fi"}],"toolCount":16,"toolsHash":"720eeb5e03613d6649a5c806130d85c68c1cbb5ea37bbe4d66236ea5f2f03131","serverName":"arxo-fide-chess-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-20T11:28:00.818Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":127,"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, compare their replayControl strictly, and prepare a non-p"},{"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: the candidate rules and the state of eve"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is "},{"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_inspect","description":"Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue"},{"name":"law_case_ask","description":"The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation documen"},{"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_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 (14): anchors, edges, fi"}],"toolCount":16,"toolsHash":"720eeb5e03613d6649a5c806130d85c68c1cbb5ea37bbe4d66236ea5f2f03131","serverName":"arxo-fide-chess-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-20T04:27:18.000Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":70,"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, compare their replayControl strictly, and prepare a non-p"},{"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: the candidate rules and the state of eve"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is "},{"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_inspect","description":"Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue"},{"name":"law_case_ask","description":"The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation documen"},{"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_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 (14): anchors, edges, fi"}],"toolCount":16,"toolsHash":"720eeb5e03613d6649a5c806130d85c68c1cbb5ea37bbe4d66236ea5f2f03131","serverName":"arxo-fide-chess-mcp","capabilities":["experimental","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, compare their replayControl strictly, and prepare a non-p"},{"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: the candidate rules and the state of eve"},{"name":"law_screen","description":"Build a necessary condition — a superset — for the preliminary selection of rows from an external source. This is NOT a legal answer and NOT SQL: the result is "},{"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_inspect","description":"Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue"},{"name":"law_case_ask","description":"The ask operation: run a registered case of a case package over its pinned dependencies and return the answer: by default a projection of the evaluation documen"},{"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_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 (14): anchors, edges, fi"}],"package":null,"toolSurface":{"id":"ts_vnnfm7uybccq","endpointId":"ep_yw37dwn9kcsd","hash":"720eeb5e03613d6649a5c806130d85c68c1cbb5ea37bbe4d66236ea5f2f03131","toolCount":16,"serverName":"arxo-fide-chess-mcp","serverVersion":"0.1.0","protocolVersion":"2025-06-18","firstSeenAt":"2026-10-15T13:23:09.052Z","lastSeenAt":"2026-10-23T04:27:34.941Z","observations":26,"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_inspect","law_case_ask","law_sources","law_query"],"distinctSurfaces":1},"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.arxo/fide-chess","url":"https://registry.modelcontextprotocol.io/v0/servers/io.arxo%2Ffide-chess","firstSeenAt":"2026-10-15T13:18:21.716Z","fetchedAt":"2026-10-22T08:19:11.546Z","normalizedAt":"2026-10-22T08:19:11.546Z"}]},"firstSeenAt":"2026-10-15T13:18:21.716Z","updatedAt":"2026-10-23T04:31:36.316Z"}