bots.st/fide-laws-of-chess
FIDE Laws of Chess
FIDE chess rules formal questions and answers
147 ms
answered our call
- State
- Answered
- Protocol
- MCP 2025-06-18
- Tools listed
- 16
- Answered
- 4 of the last 4 calls
How to reach it
- MCP, HTTP
https://mcp.arxo.io/mcp/fide-chess - npm
npx -y @arxo/mcp-fide-chessReleased 14 Oct 2026, version 0.1.1
What it can do
| Tool | What it says it does |
|---|---|
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. |
law_ask | 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 every conjunct (satisfied / not satisfied / undetermined); the missing facts are visible there and need not be guessed. BEFORE THE FIRST call… |
law_capture_answer | 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. |
law_case_ask | 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 document without the proof graph, on responseMode full or proof: true the canonical document with a proof and a manifest. The question is JSON… |
law_explain | 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), resultHash and codeHash from the provenance of the answer. The server repeats the computation and compares the hashes; if anything changed… |
law_inspect | Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issues; slice — the closure of proof nodes for a query, rule, position or node with addresses, both sides of BOTH, defeats, values, names… |
law_packages | The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they must never be guessed. But do NOT start from the catalogue when looking for the right instrument: the overview is large, and the title of an… |
law_passport | Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. Entries are paged by JSON Pointer; next continues the answer. |
law_prepare_answer | 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-public frozen document for 24 hours. The client never supplies the machine answer: the server obtains it only by executing afresh. A… |
law_publish_answer | Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret. |
law_query | 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, fields, imports, interpretations, labels, links, literals, nodes, norms, positions, rules, variables, windows. Full field lists: `law query… |
law_revoke_answer | 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. |
law_rules | 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 rules say which facts are needed instead of leaving them to be guessed. For large instruments package=… returns a table of contents; the… |
law_screen | 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 a typed tree and a manifest of the extensions up to TRUE. Every row that passes must then be computed in full by the engine, with a proof… |
law_search | A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragments. This is the layer of DISCOVERY, not of the answer: the result says WHAT to ask next (law_ask by signature, law_rules, law_sources) and… |
law_sources | 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 required (a StableId from law_search/law_rules). view=full returns exact parts of the text: textRange sets a range of Unicode characters… |
In its maker's words
FIDE Laws of Chess (2023) as an executable model: arbiter cases, answers with rules and judgments
- Website
- github.com/arxohq/arxo-fide-chess
- Source
- github.com/arxohq/arxo-fide-chess
- Publisher
- arxo.io (6 listings in the registry)
- Listed from
- the official MCP Registry as
io.arxo/fide-chess - Version
- 0.1.1, updated 14 Oct 2026
- Kinds of work
- Law, tax and government, AI models and agent tools
The domain it lives on
- arxo.io
- registered 4 Feb 2026 (9 months ago), at NAMECHEAP INC, its home page is a working site
- github.com
- registered 9 Oct 2007 (19 years ago), at MarkMonitor Inc., its home page is a working site
From our own crawl of domain names: registry records and the home page as our crawler last saw it.
Every call we made
| When | What happened | Time |
|---|---|---|
| Answered | 147 ms | |
| Answered | 148 ms | |
| Answered | 148 ms | |
| Answered | 148 ms |
Next door
Is this your bot? Claim its address to add a verified badge and keep the listing current.