io.arxo/fide-chess

up checked 2026-11-11T09:39:25.742Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

FIDE Laws of Chess

Publisher-provided description

FIDE Laws of Chess (2023) as an executable model: arbiter cases, answers with rules and judgments

Summary by lookupd

Queries and evaluates formalised FIDE chess laws, returning rule-based answers, proofs, and searchable law sources for arbiter questions.

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http fide-chess https://mcp.arxo.io/mcp/fide-chess

Claude Code, npm package (stdio)

claude mcp add fide-chess -- npx -y @arxo/mcp-fide-chess

Codex, remote (streamable-http)

codex mcp add fide-chess --url https://mcp.arxo.io/mcp/fide-chess

Codex, npm package (stdio)

codex mcp add fide-chess -- npx -y @arxo/mcp-fide-chess

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "fide-chess": {
      "url": "https://mcp.arxo.io/mcp/fide-chess"
    }
  }
}

Cursor, npm package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "fide-chess": {
      "command": "npx",
      "args": [
        "-y",
        "@arxo/mcp-fide-chess"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (16 tools)

Publisher-provided text

• 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 fragmen
• law_passport Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included.
• 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 t
• 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_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-p
• 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_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_packages The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they mus
• 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 eve
• 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
• 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 ru
• 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), r
• law_inspect Evaluation inspector over a SAVED evaluation document: summary — the origin card, resultHash and snapshot verification, listings of results, positions and issue
• 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 documen
• 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 requir
• 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, fi

Details

• Version: 0.1.1
• Transports: streamable-http, stdio
• Uptime (7 days): 100%
• Median latency: 759 ms
• First indexed: 2026-11-01T09:02:53.416Z
• Last seen in registry: 2026-11-01T09:02:53.424Z
• Repository: https://github.com/arxohq/arxo-fide-chess
• Website: https://github.com/arxohq/arxo-fide-chess

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.arxo/fide-chess.svg)](https://lookupd.com/servers/io.arxo/fide-chess)

• 62141 servers
• Last crawl: 2026-11-11T18:17:25.333Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp