MCP server for Polish court judgments via the SAOS API with verifiable citations.
If you already use MCP, the mcp mcp server is the piece that lets your assistant work with it directly. MCP server for Polish court judgments via the SAOS API with verifiable citations.
Published on npm + the MCP Registry (io.github.matematicsolutions/mcp-saos). Run without cloning:
@matematicsolutions/mcp-saos on npm is all you need. Most clients run it directly, so configuration is a few lines and a restart.
The toolset is worth reading before you wire it up, because it tells you what the integration is really for:
search — Full-text and filtered search (court, judge, legal basis, dates)get_judgment — Full judgment by ID from SAOSsearch_by_case — Shortcut: search by case number (e.g. "I ACa 772/13")saos_cite_check — Citator: is the judgment still good law? Finds later citing judgments and scans them for overruling language near the signaturePlenty of developer tooling servers cover similar ground. The differences that matter in practice are scope of access and how much setup stands between you and a working tool call. MCP's toolset — search, get_judgment, search_by_case and 1 more — is a fair guide to whether it matches your workflow. It is maintained by matematicsolutions; worth a glance at recent repository activity before you build anything load-bearing on it.
We check each listing at SyncDev against the project's documentation before it goes live — if something here drifts out of date, it is a bug worth reporting.
| Tool | What it does |
|---|---|
| search | Full-text and filtered search (court, judge, legal basis, dates) |
| get_judgment | Full judgment by ID from SAOS |
| search_by_case | Shortcut: search by case number (e.g. "I ACa 772/13") |
| saos_cite_check | Citator: is the judgment still good law? Finds later citing judgments and scans them for overruling language near the signature |
MCP client configuration (stdio):
```json
{ "mcpServers": { "mcp-saos": { "command": "npx", "args": ["-y", "@matematicsolutions/mcp-saos"] } } }Configuration as documented by the project. Restart the client after saving.
Kill hallucinated APIs — version-accurate, up-to-date library documentation injected straight into context.
Microsoft's official browser automation server — drive a real browser through the accessibility tree, no screenshots needed.
GitHub's official server — repos, issues, pull requests, Actions and code security, straight from your assistant.
Issue tracking at the speed of conversation — Linear's official hosted server with OAuth and zero install.
Local repository surgery — status, diffs, commits, branches and history for any repo on disk.
Timezone sanity for AI — current time anywhere and correct conversions, without the model doing date math.