Skip to main content
Glama

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault
PK_ELI_AUDIT_DIRNoJSONL audit log (one line per tool call)~/.matematic/audit
PK_ELI_CACHE_DIRNoCorpus file + HTTP cache~/.matematic/cache/pk-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
pk_search_lawsA

Keyword search over Pakistan's 967 federal statutes (title-weighted ranking).

pk_get_lawA

Fetch the full text of one federal statute. Large statutes are truncated.

pk_case_searchA

Full-text search over 1,414 Supreme Court of Pakistan judgments (server-side).

pk_get_decisionA

Fetch one Supreme Court judgment's full text, by row index or registry citation.

pk_verify_citationsA

Verify Pakistani legal citations found in a text against the corpus.

Extracts statute sections ("section 302 of the Pakistan Penal Code", "section 10A of the Pakistan Study Centres Act, 1976"), act coordinates ("Act No. XLV of 1860"), Constitution articles ("Article 184(3) of the Constitution") and Supreme Court registry citations ("Crl.A. 93/2013"), then checks each against the local corpus. A parenthetical description right after a citation is content-checked with a trigram match (mismatch = review signal). Non-existent sections come back with a range hint of what DOES exist.

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/pk-eli-mcp'

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