"Common Lisp" matching MCP servers:

MCP server for Polish case-law (SAOS) — Supreme Court, Constitutional Tribunal, common courts and KIO — with ECLI and verifiable citations.

MCP server that updates judicial and non-judicial credits by applying the applicable normative rules per period, producing month-by-month calculation details with source indices. It also verifies calculations against official tables and can identify common errors in opposing party's calculations.