# io.github.matematicsolutions/mcp-saos (npm · @matematicsolutions/mcp-saos)

MCP server for Polish court judgments via the SAOS API with verifiable citations.

- Trust score: 75/100 (medium)
- Change this week: +34
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-08-03

## Components

- npm · `@matematicsolutions/mcp-saos`: 75/100 (this document), [markdown](https://verifymcp.io/servers/matematicsolutions-mcp-saos/matematicsolutions-mcp-saos.md), [page](https://verifymcp.io/servers/matematicsolutions-mcp-saos/matematicsolutions-mcp-saos)

## Channel facts

- Registry: `npm`
- Package: `@matematicsolutions/mcp-saos`
- Version: `1.2.0`
- Transport: `stdio`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-08-03.

- **Supply Chain Security**: 86/100
  - No malware found by supply-chain analysis.
  - Only part of the dependency tree could be resolved (94 of 98), so this covers what we could see, not the whole tree.
  - No install/post-install scripts declared.
  - Only part of the dependency tree could be resolved (94 of 98), so this covers what we could see, not the whole tree.
- **Provenance & Transparency**: 97/100
  - Source repository is publicly reachable at the declared URL.
  - Cryptographically verified build provenance (signed, bound to matematicsolutions/mcp-saos).
  - Clear OSI-approved license (MIT).
  - Actively maintained (last published 20 days ago).
  - Disclosure check failed: no security disclosure policy was found in the source repository.
- **Schema Quality & AI Usability**: 55/100
  - AI-judged instruction clarity (excellent).
  - Context-footprint check failed: tool/resource definitions use about 2361 tokens (~590/item across 4 items; 4 tools + 0 resources), over budget; trim descriptions and params.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 23/100
  - Stability observed for 7 of 30 days with no destabilising changes; credit accrues until the full window elapses.
- **Tool Coverage**: 100/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 100% of tool parameters carry a description.
- **Capabilities**: 100/100
  - Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.

## Install

### Claude

```bash
claude mcp add matematicsolutions-mcp-saos -- npx -y @matematicsolutions/mcp-saos
```

### Codex

```bash
codex mcp add matematicsolutions-mcp-saos -- npx -y @matematicsolutions/mcp-saos
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "matematicsolutions-mcp-saos": {
      "type": "local",
      "command": [
        "npx",
        "-y",
        "@matematicsolutions/mcp-saos"
      ],
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add matematicsolutions-mcp-saos --command npx --arg -y --arg @matematicsolutions/mcp-saos
```

### Hermes

```yaml
mcp_servers:
  matematicsolutions-mcp-saos:
    command: "npx"
    args: ["-y", "@matematicsolutions/mcp-saos"]
```

### Other

```json
{
  "mcpServers": {
    "matematicsolutions-mcp-saos": {
      "command": "npx",
      "args": [
        "-y",
        "@matematicsolutions/mcp-saos"
      ]
    }
  }
}
```

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-08-03 (score 75, +1)

No change was recorded against any check on this day. Stability & Change Management went from 20 to 23. That category is still filling its 30-day observation window: 6 days of observed history at the previous scan, 7 at this one. The score rises as the window fills, whether or not the server changes.

### 2026-08-02 (score 74, +58)

- [security improvement] Known CVEs: unverified → partial
- [security improvement] Install scripts: unverified → pass
- [security improvement] Provenance: unverified → pass
- [security improvement] Malware scan: unverified → pass
- [security] The attested source repository moved: matematicsolutions/mcp-saos
- [functional regression] Tool coverage: 100 → unverified
- [functional improvement] MCP protocol: unverified → pass
- [functional improvement] Maintenance: unverified → pass
- [functional improvement] Stability: unverified → 0.20
- [functional improvement] Dependency health: unverified → partial
- [functional improvement] License: unverified → pass
- [functional improvement] Schema quality: unverified → excellent
- [functional] Licence: MIT

### 2026-08-01 (score 16, −28)

- [functional] We updated how we score, so this day's move reflects our rubric, not a change to the server

### 2026-07-31 (score 44, +19)

- [security regression] Malware scan: pass → unverified
- [security improvement] Provenance: unverified → pass
- [security improvement] Install scripts: unverified → pass
- [security] The attested source repository moved: matematicsolutions/mcp-saos
- [functional regression] Security disclosure: unverified → fail
- [functional regression] Dependency health: partial → unverified
- [functional improvement] Maintenance: unverified → pass
- [functional improvement] License: unverified → pass
- [functional improvement] Tool coverage: unverified → 100
- [functional] Licence: MIT

### 2026-07-29 (score 25, −16)

- [functional regression] Security disclosure: fail → unverified
- [functional regression] Tool coverage: 100 → unverified
- [functional improvement] Dependency health: unverified → partial
- [functional] First check of Schema quality: unverified

### 2026-07-27 (score 41)

First indexed and scored.

## MCP tools (4)

### `search` (~514 tokens)

Przeszukuje baze orzeczen sadow polskich w SAOS (System Analizy Orzeczen Sadowych). Pokrycie obejmuje takze orzeczenia biezace (lata 2024-2026 sa dobrze reprezentowane), ale jest nierowne wg typu sadu. Sady administracyjne (WSA/NSA) NIE sa indeksowane. Daty bywaja znieksztalcone przez OCR - weryfikuj sygnature i date w zrodle. Przydatny do: analizy linii orzeczniczej, precedensow, wyszukiwania po tresci / sygnatuze / sedzim / podstawie prawnej. Bledy: `invalid_court_type` (zly enum), `upstream_error` (HTTP/timeout API).

Input parameters:

- `all` (string): Wyszukiwanie pelnotekstowe - slowo lub fraza w tresci orzeczenia.
- `caseNumber` (string): Sygnatura akt, np. 'I ACa 772/13' lub 'IV CSK 123/15'.
- `courtType` (string): Typ sadu: COMMON=sady powszechne, SUPREME=Sad Najwyzszy, CONSTITUTIONAL_TRIBUNAL=Trybunal Konstytucyjny, NATIONAL_APPEAL_CHAMBER=Krajowa Izba Odwolawcza (KIO). NIE uzywaj ADMINISTRATIVE - sady admin…
- `dateFrom` (string): Data orzeczenia od (format YYYY-MM-DD), np. '2015-01-01'.
- `dateTo` (string): Data orzeczenia do (format YYYY-MM-DD), np. '2016-12-31'.
- `judgeName` (string): Nazwisko sedziego, np. 'Kowalski'.
- `legalBase` (string): Podstawa prawna, np. 'art. 415 kc' lub 'art. 6 RODO'.
- `pageNumber` (number): Numer strony (od 0). Do paginacji wynikow.
- `pageSize` (number): Liczba wynikow na strone (min 10, max 100). Domyslnie 10.
- `referencedRegulation` (string): Przywolany akt prawny, np. 'ustawa o ochronie danych osobowych'.

### `get_judgment` (~150 tokens)

Pobiera pelne orzeczenie z SAOS po jego numerycznym ID. Zwraca metadane (sygnatura, sad, data, sklad, podstawy prawne), streszczenie (jesli dostepne) oraz pierwsze 2000 znakow tresci. ID orzeczenia pochodzi z wynikow narzedzia 'search' lub 'search_by_case'. Bledy: `missing_arg` (brak id), `not_found` (id poza baza), `upstream_error`.

Input parameters:

- `id` (string|number, required): Numeryczne ID orzeczenia w bazie SAOS, np. 352475 lub '31345'.

### `search_by_case` (~155 tokens)

Skrot: szuka orzeczenia po sygnaturze akt (np. 'I ACa 772/13', 'IV CSK 123/15', 'KIO/UZP 100/12'). Odpowiednik search z parametrem caseNumber. Jesli sygnatura nie znajdzie sie w SAOS, sprawa moze byc z sadu administracyjnego (WSA/NSA - nieindeksowane) lub jeszcze nieopublikowana w bazie. Bledy: `missing_arg` (brak caseNumber), `upstream_error`.

Input parameters:

- `caseNumber` (string, required): Sygnatura akt, np. 'I ACa 772/13'.

### `saos_cite_check` (~447 tokens)

Citator 'czy wyrok zyje': dla podanej sygnatury szuka POZNIEJSZYCH orzeczen, ktore ja cytuja (pelnotekstowo w SAOS), i skanuje ich uzasadnienia pod frazy przelamania linii orzeczniczej (np. 'odstepuje od pogladu wyrazonego', 'nie podziela pogladu', 'traci moc uchwala', 'uchwala skladu siedmiu sedziow') w oknie ~500 znakow wokol wystapienia sygnatury. Werdykt: przelamanie_wykryte / uchwala_skladu_powiekszonego / nadal_cytowany / brak_cytowan_w_saos. To heurystyka - kazde trafienie ma fragment tekstu do recznej weryfikacji, a brak trafien NIE potwierdza aktualnosci orzeczenia. Bledy: `missing_arg` (nieczytelna sygnatura), `invalid_court_type`, `upstream_error`.

Input parameters:

- `caseNumber` (string, required): Sygnatura akt orzeczenia do sprawdzenia, np. 'III CZP 6/21'. Moze byc czescia zdania ('uchwala SN z 7.05.2021 r., III CZP 6/21').
- `courtType` (string): Opcjonalnie: typ sadu orzeczenia badanego - sygnatury powtarzaja sie miedzy sadami, to doprecyzowuje ktore orzeczenie sprawdzamy.
- `deepScan` (boolean): Czy pobierac pelne teksty cytujacych orzeczen (domyslnie true). false = tylko szybki skan snippetow z wyszukiwarki.
- `maxScan` (number): Ile cytujacych orzeczen przeskanowac w pelnym tekscie (1-20, domyslnie 8). Priorytet: SN > uchwaly > najnowsze.

## Diagnostics

Captured diagnostic sections: Provenance, Dependencies. The full working is on the page: https://verifymcp.io/servers/matematicsolutions-mcp-saos/matematicsolutions-mcp-saos#diagnostics

## Score history

- 2026-08-03: 75
- 2026-08-02: 74
- 2026-08-01: 16
- 2026-07-31: 44
- 2026-07-29: 25
- 2026-07-28: 41
- 2026-07-27: 41

## Links

- npm package: https://www.npmjs.com/package/@matematicsolutions/mcp-saos
- Socket report: https://socket.dev/npm/package/@matematicsolutions/mcp-saos
- Repository: https://github.com/matematicsolutions/mcp-saos
- Changelog RSS feed: https://verifymcp.io/servers/matematicsolutions-mcp-saos/matematicsolutions-mcp-saos/changelog.xml
- Changelog JSON feed: https://verifymcp.io/servers/matematicsolutions-mcp-saos/matematicsolutions-mcp-saos/changelog.json
- HTML version of this page: https://verifymcp.io/servers/matematicsolutions-mcp-saos/matematicsolutions-mcp-saos