Server definition

Hash: sha256:aaf8902c4cda1981d9221450f75e0661465e84939dd6a5e60e75c15ba099dd55
What it is: What a remote MCP server returned when asked what it offers: 7 tools

The blob, as servednamed by its sha256

{
  "instructions": "When referring to this source in user-facing text, write its name exactly as \"nalegalu\" (all lowercase, no space).\nUse search_law first for a Polish legal issue or statutory citation.\nUse get_article only after obtaining an address and article key and needing exact\nwording. Use related_cases only when case-law context materially helps; inspect a\njudgment with get_case before stating its holding. For a cited judgment, use\nsearch_case_by_signature before relying on it; use verify_quote only to check\nsupplied wording, not legal meaning. Use research_cases for a fact pattern that\nneeds related-case candidates across several provisions. With rerank=true it\nfetches a bounded SAOS text pool and applies the explicitly configured\ncross-encoder; this is still unverified relevance ranking, so inspect selected\njudgments with get_case before stating a holding.\nIf related_cases or research_cases returns no candidates, state only that\nnalegalu has no local provision-to-case links for the checked provisions. Never\nstate or imply that SAOS or Polish case law has no relevant judgments unless a\nseparate exhaustive source search establishes that fact.\nCite returned primary sources and distinguish source retrieval from legal advice.",
  "tools": [
    {
      "description": "Fetch the exact text of one article (or paragraph) of a Polish legal act.\n\n        Use after search_law or another trusted source supplied the address and\n        article key; never guess them. Deterministic lookup by act address\n        (e.g. WDU19740240141) and article\n        key (e.g. \"133\" or \"Art. 133.\"). Optional paragraph_key (e.g. \"1\" or\n        \"§ 1.\") narrows the result to a single paragraph.\n        ",
      "inputSchema": {
        "properties": {
          "address": {
            "title": "Address",
            "type": "string"
          },
          "article_key": {
            "title": "Article Key",
            "type": "string"
          },
          "paragraph_key": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Paragraph Key"
          }
        },
        "required": [
          "address",
          "article_key"
        ],
        "title": "get_articleArguments",
        "type": "object"
      },
      "name": "get_article",
      "outputSchema": {
        "additionalProperties": true,
        "title": "get_articleDictOutput",
        "type": "object"
      }
    },
    {
      "description": "Fetch one SAOS court judgment (metadata + bounded text excerpt).\n\n        Use only with a saos_id returned by related_cases, research_cases, or\n        search_case_by_signature. Long judgments\n        are paged: when has_more is true, call again with offset=next_offset.\n        If the response has ok=false with a fallback hint, SAOS is unavailable\n        or rate-limited — fetch the returned saos_url yourself with your own\n        web tools instead of retrying this tool.\n        ",
      "inputSchema": {
        "properties": {
          "max_chars": {
            "default": 6000,
            "title": "Max Chars",
            "type": "integer"
          },
          "offset": {
            "default": 0,
            "title": "Offset",
            "type": "integer"
          },
          "saos_id": {
            "title": "Saos Id",
            "type": "integer"
          }
        },
        "required": [
          "saos_id"
        ],
        "title": "get_caseArguments",
        "type": "object"
      },
      "name": "get_case",
      "outputSchema": {
        "additionalProperties": true,
        "title": "get_caseDictOutput",
        "type": "object"
      }
    },
    {
      "description": "List SAOS cases related to one statutory provision.\n\n        Use after identifying a relevant provision. A related-case link is not\n        proof of a legal rule: inspect the judgment with get_case before\n        asserting its holding. Deterministic lookup by act address\n        (e.g. WDU19740240141) and article\n        key. Returns case number, court, date, relevance score when available,\n        and a SAOS link per case; scored cases sort first. Newer data also\n        carries citation context per case: mentions (how many times the\n        article appears in the judgment text), mention_match (\"exact\" =\n        found with a matching act marker; \"ambiguous\" = bare mention,\n        possibly another act's article — discount it), and context (snippet\n        around the mention). mentions=0 or a missing context means the link\n        comes from SAOS metadata but the text scan could not confirm it —\n        treat relevance as unverified rather than assuming the case is on\n        point. If count is zero, it means this local provision-to-case link\n        dataset has no rows; it is not an exhaustive SAOS or case-law search.\n        ",
      "inputSchema": {
        "properties": {
          "address": {
            "title": "Address",
            "type": "string"
          },
          "article_key": {
            "title": "Article Key",
            "type": "string"
          },
          "limit": {
            "default": 10,
            "title": "Limit",
            "type": "integer"
          },
          "paragraph_key": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Paragraph Key"
          }
        },
        "required": [
          "address",
          "article_key"
        ],
        "title": "related_casesArguments",
        "type": "object"
      },
      "name": "related_cases",
      "outputSchema": {
        "additionalProperties": true,
        "title": "related_casesDictOutput",
        "type": "object"
      }
    },
    {
      "description": "Discover related-case candidates for a natural-language legal issue.\n\n        This tool first searches statutes, then follows local provision-to-case\n        links for several distinct provisions and deduplicates by SAOS ID.\n        ``rerank=false`` is the inexpensive deterministic discovery stage.\n        With ``rerank=true``, it fetches at most ``rerank_fetch_limit`` public\n        SAOS excerpts and reranks them only when the server has explicitly\n        configured a Cohere reranker. It never decides a holding: call\n        ``get_case`` for every judgment used in an answer.\n        ",
      "inputSchema": {
        "properties": {
          "candidate_limit": {
            "default": 40,
            "title": "Candidate Limit",
            "type": "integer"
          },
          "case_text_max_chars": {
            "default": 6000,
            "title": "Case Text Max Chars",
            "type": "integer"
          },
          "cases_per_provision": {
            "default": 80,
            "title": "Cases Per Provision",
            "type": "integer"
          },
          "context_max_chars": {
            "default": 450,
            "title": "Context Max Chars",
            "type": "integer"
          },
          "provision_limit": {
            "default": 5,
            "title": "Provision Limit",
            "type": "integer"
          },
          "query": {
            "title": "Query",
            "type": "string"
          },
          "rerank": {
            "default": false,
            "title": "Rerank",
            "type": "boolean"
          },
          "rerank_fetch_limit": {
            "default": 75,
            "title": "Rerank Fetch Limit",
            "type": "integer"
          },
          "rerank_result_limit": {
            "default": 10,
            "title": "Rerank Result Limit",
            "type": "integer"
          }
        },
        "required": [
          "query"
        ],
        "title": "research_casesArguments",
        "type": "object"
      },
      "name": "research_cases",
      "outputSchema": {
        "additionalProperties": true,
        "title": "research_casesDictOutput",
        "type": "object"
      }
    },
    {
      "description": "Verify a cited case signature (sygnatura), e.g. \"II CSK 448/14\".\n\n        Use before relying on a judgment cited by a user or another agent.\n        Answers from a local index of all SAOS judgments first; only on a\n        local miss does it query live SAOS. Read the verdict field:\n        \"confirmed\" (matches listed with saos_id, court, date, type —\n        different courts reuse signatures, so check the court), \"not_found\"\n        (strong evidence the citation is fabricated or wrong),\n        \"outside_coverage\" (administrative courts NSA/WSA are not in SAOS —\n        verify in CBOSA instead), \"unverified\" (local miss and SAOS\n        unreachable; do not treat as nonexistent). Optional court_type:\n        COMMON, SUPREME, CONSTITUTIONAL_TRIBUNAL, NATIONAL_APPEAL_CHAMBER.\n        has_text=false on a match means SAOS stores no text for it, so\n        verify_quote cannot check quotes against that judgment.\n        ",
      "inputSchema": {
        "properties": {
          "court_type": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Court Type"
          },
          "limit": {
            "default": 10,
            "title": "Limit",
            "type": "integer"
          },
          "signature": {
            "title": "Signature",
            "type": "string"
          }
        },
        "required": [
          "signature"
        ],
        "title": "search_case_by_signatureArguments",
        "type": "object"
      },
      "name": "search_case_by_signature",
      "outputSchema": {
        "additionalProperties": true,
        "title": "search_case_by_signatureDictOutput",
        "type": "object"
      }
    },
    {
      "description": "Search current Polish statutes and return article-level hits.\n\n        Start here for a natural-language legal issue or a direct citation.\n        Use the user's own Polish wording, e.g. \"kupiłem wadliwy towar od\n        firmy jakie mam prawa\". Do not add address, domain, article, act_type,\n        or status filters unless the user explicitly supplied that restriction.\n        Results are primary-source material, not legal advice.\n        ",
      "inputSchema": {
        "properties": {
          "act_type": {
            "anyOf": [
              {
                "items": {
                  "type": "string"
                },
                "type": "array"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Act Type"
          },
          "address": {
            "anyOf": [
              {
                "items": {
                  "type": "string"
                },
                "type": "array"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Address"
          },
          "article": {
            "anyOf": [
              {
                "items": {
                  "type": "string"
                },
                "type": "array"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Article"
          },
          "candidate_multiplier": {
            "default": 4,
            "title": "Candidate Multiplier",
            "type": "integer"
          },
          "case_law_boost": {
            "default": 0,
            "title": "Case Law Boost",
            "type": "number"
          },
          "domain": {
            "anyOf": [
              {
                "items": {
                  "type": "string"
                },
                "type": "array"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Domain"
          },
          "include_non_in_force": {
            "default": false,
            "title": "Include Non In Force",
            "type": "boolean"
          },
          "limit": {
            "default": 10,
            "title": "Limit",
            "type": "integer"
          },
          "query": {
            "title": "Query",
            "type": "string"
          },
          "retrieval_mode": {
            "anyOf": [
              {
                "type": "string"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Retrieval Mode"
          },
          "status": {
            "anyOf": [
              {
                "items": {
                  "type": "string"
                },
                "type": "array"
              },
              {
                "type": "null"
              }
            ],
            "default": null,
            "title": "Status"
          },
          "top_cases": {
            "default": 3,
            "title": "Top Cases",
            "type": "integer"
          }
        },
        "required": [
          "query"
        ],
        "title": "search_lawArguments",
        "type": "object"
      },
      "name": "search_law",
      "outputSchema": {
        "additionalProperties": true,
        "title": "search_lawDictOutput",
        "type": "object"
      }
    },
    {
      "description": "Check whether a supplied quote appears in a SAOS judgment.\n\n        Use only after resolving the judgment to a saos_id. This validates\n        wording, not whether the quote supports a legal conclusion. Pass the\n        saos_id (from search_case_by_signature or related_cases) and\n        the fragment as quoted. One call replaces paging through the full\n        text: verdict is \"exact\" (verbatim after normalizing whitespace,\n        quote marks and dashes), \"near_match\" (best passage plus similarity\n        score — compare it against the claim), or \"not_found\" (treat the\n        quote as fabricated or misattributed). If ok=false with a fallback\n        hint, fetch saos_url with your own web tools instead of retrying.\n        ",
      "inputSchema": {
        "properties": {
          "min_similarity": {
            "default": 0.75,
            "title": "Min Similarity",
            "type": "number"
          },
          "quote": {
            "title": "Quote",
            "type": "string"
          },
          "saos_id": {
            "title": "Saos Id",
            "type": "integer"
          }
        },
        "required": [
          "saos_id",
          "quote"
        ],
        "title": "verify_quoteArguments",
        "type": "object"
      },
      "name": "verify_quote",
      "outputSchema": {
        "additionalProperties": true,
        "title": "verify_quoteDictOutput",
        "type": "object"
      }
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:aaf8902c4cda1981d9221450f75e0661465e84939dd6a5e60e75c15ba099dd55 | sha256sum