Instructions file
Instructions for matematicsolutions/mcp-saos: This file exists for compatibility with Claude Code. The canonical instructions for AI agents working with this repo live in AGENTS.md - the agents.md standard (Linux Foundation / Agentic AI Foundation), supported by 20+ tools.
MCP server Claude CodeCodexCursor +2
MCP server for Polish court judgments via the SAOS API with verifiable citations. Runs locally from the @matematicsolutions/mcp-saos npm package.
MCP server Claude CodeCodexCursor +2
MCP server for Singapore Statutes Online (sso.agc.gov.sg) — browse, fetch, and cite Singapore legislation by act code. Runs locally from the sg-eli-mcp Python package.
matematicsolutions/kio-orzeczenia-mcp
Settings file Claude Code
MCP server for Polish public-procurement case law (National Appeals Chamber, KIO) via orzeczenia.uzp.gov.pl. Early POC, Apache-2.0.
matematicsolutions/kio-orzeczenia-mcp
MCP server Claude CodeCodexCursor
MCP server for Krajowa Izba Odwolawcza (KIO) rulings from orzeczenia.uzp.gov.pl. Runs locally from the kio-orzeczenia-mcp Python package.
MCP server Claude CodeCodexCursor
MCP server for the French Legifrance API via PISTE (legifrance.gouv.fr) — search legislation (LODA, codes) and case law (JURI, Conseil constitutionnel, administrative courts) with verifiable citations and native ECLI. Runs locally from the fr-eli-mcp Python package.
MCP server Claude CodeCodexCursor
MCP server for US law: bills (Congress.gov), US Code (GovInfo), Federal Register, case law (CourtListener), eCFR - with verifiable citations. Runs locally from the us-eli-mcp Python package.
MCP server Claude CodeCodexCursor
MCP server for German law: federal legislation (NeuRIS), case law at all court levels (rechtsprechung-im-internet.de, Open Legal Data) and parliamentary documents (Bundestag DIP) - ELI/ECLI identifiers and verifiable citations. Runs locally from the de-eli-mcp Python package.
MCP server Claude CodeCodexCursor
MCP server for the Dutch consolidated legislation BWB (KOOP SRU) — fetch acts in force on a date with persistent identifiers and verifiable citations. Runs locally from the nl-eli-mcp Python package.
MCP server Claude CodeCodexCursor
MCP server for Camara dos Deputados (bills), legis.senado.leg.br (Normas Juridicas by URN Lex), normas.leg.br (real article text), DataJud CNJ (court docket metadata), STJ Open Data, CARF, TST and TCU (real ruling text) - Brazilian federal legislation and case law with verifiable citations. Runs locally from the…
Settings file Claude Code
MCP server for Polish legislation (Dziennik Ustaw + Monitor Polski) via Sejm ELI API. 96k+ acts since 1918.
Instructions file CodexOpenCode
AGENTS.md instructions for matematicsolutions/mcp-isap, covering agents.md - mcp-isap, project goal, matematic context (hard constraints), mcp tools (tools contract) and getacttext - which point in time the text is from.
Instructions file
Claude Code instructions for matematicsolutions/mcp-isap: This file exists for Claude Code compatibility. The canonical instructions for AI agents in this repo live in AGENTS.md - the agents.md standard (Linux Foundation / Agentic AI Foundation) supported by 20+ tools.
MCP server Claude CodeCodexCursor
MCP server for Polish legislation (Dziennik Ustaw / Monitor Polski) via Sejm ELI API. Runs locally from the @matematicsolutions/mcp-isap npm package.
Settings file Claude Code
MCP server for Polish KRS (Krajowy Rejestr Sadowy) via official, free Ministry of Justice API.
Instructions file CodexOpenCode
AGENTS.md instructions for matematicsolutions/mcp-krs, covering agents.md - mcp-krs, project goal, matematic context (hard constraints), mcp tools (tools contract) and build and test.
Instructions file
Claude Code instructions for matematicsolutions/mcp-krs: This file exists for Claude Code compatibility. The canonical instructions for AI agents of this repo are in AGENTS.md - the agents.md standard (Linux Foundation / Agentic AI Foundation) supported by 20+ tools.
MCP server Claude CodeCodexCursor
MCP server for the Polish KRS company registry via the official Ministry of Justice API. Runs locally from the @matematicsolutions/mcp-krs npm package.
MCP server Claude CodeCodexCursor
MCP server for Luxembourg legislation via Legilux (data.legilux.public.lu) — ELI-native jolux RDF metadata and Akoma Ntoso full text with verifiable citations. Runs locally from the lu-eli-mcp Python package.
matematicsolutions/mcp-eu-sparql
Settings file Claude Code
MCP server for EU legislation and 57k+ CJEU rulings via the Publications Office SPARQL endpoint (EUR-Lex / Cellar), plus national data-protection decisions from GDPRhub. CELEX + ECLI on every citation. MIT.
matematicsolutions/mcp-eu-sparql
Instructions file CodexOpenCode
AGENTS.md instructions for matematicsolutions/mcp-eu-sparql, covering agents.md - mcp-eu-sparql, project goal, matematic context (hard constraints), mcp tools (tools contract) and build and test.
matematicsolutions/mcp-eu-sparql
Instructions file
Claude Code instructions for matematicsolutions/mcp-eu-sparql: This file exists for compatibility with Claude Code. The canonical instructions for AI agents of this repo are in AGENTS.md - the agents.md standard (Linux Foundation / Agentic AI Foundation) supported by 20+ tools.
matematicsolutions/mcp-eu-sparql
MCP server Claude CodeCodexCursor
EU legislation and CJEU case law via Publications Office SPARQL (Cellar) + GDPRhub DPA decisions. Runs locally from the @matematicsolutions/mcp-eu-sparql npm package.
matematicsolutions/prawo-pl-mcp
MCP server Claude CodeCodexCursor
One MCP server for Polish legal data - aggregates the matematicsolutions connector fleet (SAOS, NSA, ISAP, KRS, EUREKA, KIO, UODO + EU extras) behind 4 unified tools. Runs locally from the prawo-pl-mcp Python package.