Skip to main content
Glama

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault
IL_ELI_BASE_URLNoBase URL of the Knesset OData APIhttps://knesset.gov.il/Odata/ParliamentInfo.svc
IL_ELI_AUDIT_DIRNoAudit directory for logs~/.matematic/audit
IL_ELI_CACHE_DIRNoCache directory for law data~/.matematic/cache/il-eli

Capabilities

Features and capabilities supported by this server

CapabilityDetails
tools
{
  "listChanged": true
}
logging
{}
prompts
{
  "listChanged": false
}
resources
{
  "subscribe": false,
  "listChanged": false
}
extensions
{
  "io.modelcontextprotocol/ui": {}
}
experimental
{}

Tools

Functions exposed to the LLM to take actions

NameDescription
il_search_laws

Full-text search over Israeli law names (Hebrew).

il_get_law

Fetch full detail for one Israeli law by its IsraelLawID.

il_search_law_texts

Search published Israeli law versions (KNS_Law), including consolidated texts.

Complements il_search_laws: that tool covers the KNS_IsraelLaw registry (validity status, Basic Law flag), this one covers KNS_Law - the published versions whose official PDF documents are reachable via il_get_law_documents. The two id spaces are disjoint.

il_get_law_documents

Official document files (PDFs) for one published law version.

il_search_case_law

Keyword search over a local, pre-downloaded corpus of Israeli court judgments.

NOT a live API call. The corpus (10,558 Hebrew judgments from Family, District, Magistrate, Labor, Military and Administrative courts) is a static HuggingFace dataset (guychuk/case-law-israel) downloaded once and cached locally on first use of this tool - later calls only touch the local cache. Its license is undocumented; treat results as for analysis, not for redistribution.

il_get_caseA

Fetch full detail (including full judgment text) for one case by its judgment_id.

Reads from the same locally-cached dataset as il_search_case_law - see that tool's docstring for the download/caching/license notes.

Prompts

Interactive templates invoked by user choice

NameDescription

No prompts

Resources

Contextual data attached and managed by the client

NameDescription

No resources

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/matematicsolutions/il-eli-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server