io.github.matematicsolutions/co-eli-mcp
MCP server for Colombian Constitutional Court case law (datos.gov.co), citation verification.
MCP server · by matematicsolutions
About
io.github.matematicsolutions/co-eli-mcp is an MCP server published by matematicsolutions. Marketplaces we read that list it: 1 (Official MCP Registry). We first saw it on 2026-10-11 and have recorded no change since. As of our marketplace pass on 2026-10-13.
What it asks for
- Runs on your machine
None of the marketplaces we read publishes its tools or the settings it asks for.
What it declares, asks for and runs, in full
Only install plugins from developers you trust. We list what marketplaces publish and do not test plugins.
Works with
- Claude Code
- Codex
- Cursor
- VS Code
- Copilot CLI
A one-click link opens the client, which asks you to confirm before it adds the server.
From the marketplaces that list it and the MCP transport it declares, as each client documents them. We do not test plugins.
Connect
Commands and configs built only from what its marketplaces declare. We do not run them for you and do not test plugins.
As a local MCP server: PyPI package
Built from what Official MCP Registry declares.
claude mcp add --transport stdio co-eli-mcp -- uvx co-eli-mcp[mcp_servers.co-eli-mcp]
command = "uvx"
args = ["co-eli-mcp"]{
"mcpServers": {
"co-eli-mcp": {
"command": "uvx",
"args": [
"co-eli-mcp"
]
}
}
}Where it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Official MCP Registry (Open the registry record) | Listed | 0.3.3 | Forks (GitHub): 0 Stars (GitHub): 0 |
Not marked |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
What changed
Nothing has moved on this plugin since we started watching it.
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
-
colombian-law-mcp eu.ansvar/colombian-law-mcp
Colombian legislation via MCP — full-text search across statutes and provisions
-
mcp ai.ragjur/mcp
Brazilian legal search and jurimetria: 115M+ court decisions from 90+ courts across 14 MCP tools.
-
costa-rican-law-mcp eu.ansvar/costa-rican-law-mcp
Costa Rican legislation via MCP — full-text search across statutes and provisions
-
mcp-saos io.github.matematicsolutions/mcp-saos
MCP server for Polish court judgments via the SAOS API with verifiable citations.
-
peruvian-law-mcp eu.ansvar/peruvian-law-mcp
Peruvian legislation via MCP — full-text search across statutes and provisions
-
mexican-law-mcp eu.ansvar/mexican-law-mcp
Mexican legislation via MCP — full-text search across statutes and provisions
-
chilean-law-mcp eu.ansvar/chilean-law-mcp
Chilean legislation via MCP — full-text search across statutes and provisions
-
CADE: Court Cases, official-source lookup. Platform-hosted, pay per query with prepaid credit.
-
MPF: Court Cases, official-source lookup. Platform-hosted, pay per query with prepaid credit.
-
SAIJ — Jurisprudencia Argentina
Search Argentine legal databases: court decisions, legislation, summaries, doctrine
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on Claude Code: claude-plugins-community (5)
-
Swiss Legal Intelligence for Claude Cowork. 20 agents, 19 commands, 14 skills, and 9 MCP servers covering BGE/ATF/DTF precedent research, litigation strategy, document drafting…
-
Japanese law firm plugin for Claude Code — court template filling, family tree generation (相続関係説明図), legal document proofreading, lawsuit analysis, e-Gov law search, and…
-
UK Legal Plugins for Claude Code 11 legal plugins built for UK jurisdiction — English & Welsh, Scottish, and Northern Irish law. Plugins Plugin Practice area employment-legal-uk…
-
Give Claude comprehensive German legal knowledge covering 12 practice areas of Bundesrecht with section-level statute citations and 16 interactive calculators. Every § is cited…
-
For every advocate practising before India's Motor Accident Claims Tribunals — the tribunal-tier where every road accident in India ultimately lands for compensation — and before…
Has a listing on Claude Code: claude-plugins-official (5)
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
-
Attorney guidance and legal tools for business and personal needs. AI-powered document review identifies critical risks and important clauses, advises when to engage an attorney…
-
Government contracting research and capture workflows in Claude: opportunity and pipeline briefs, bid/no-bid and competitor analysis, price-to-win and proposal prep, powered by…
-
Search companies and contacts, enrich leads, find lookalikes, and get AI-ranked contact recommendations. Pre-built skills chain multiple ZoomInfo tools into complete B2B sales…
-
LinqAlpha financial research in Claude: guided setup for the LinqAlpha connector, capability-based source selection for fundamentals, estimates, transcripts, filings and market…
Has a listing on Claude: knowledge-work-plugins (5)
-
Work in your GC AI legal knowledge base from Claude: upload documents, run review playbooks, and ask questions grounded in your own files, all as you.
-
Speed up contract review, NDA triage, and compliance workflows for in-house legal teams. Draft legal briefs, organize precedent research, and manage institutional knowledge.
-
Government contracting research and capture workflows in Claude: opportunity and pipeline briefs, bid/no-bid and competitor analysis, price-to-win and proposal prep, powered by…
-
Connect sources and search processed documents with Unstructured Foundation. Provides MCP access to source setup, processing status, document search, and document retrieval.
-
Search companies and contacts, enrich leads, find lookalikes, and get AI-ranked contact recommendations. Pre-built skills chain multiple ZoomInfo tools into complete B2B sales…
Has a listing on Codex: openai-curated (openai/plugins) (5)
-
Work with Zotero from Codex: search your library, export BibTeX, insert citations, and import references through the Zotero desktop app.
-
Connect Google Calendar for scheduling, availability, daily briefs, and event management.
-
Connect Microsoft Outlook Calendar for scheduling, daily briefs, event prep, and safe meeting changes.
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Work with SharePoint using the configured Microsoft SharePoint app connector.
Has a listing on Community GitHub marketplaces (5)
-
lt-eli-mcp io.github.matematicsolutions/lt-eli-mcp
MCP server for Lithuanian legislation (TAR via data.gov.lt) with verifiable citations.
-
br-eli-mcp io.github.matematicsolutions/br-eli-mcp
MCP server for Brazilian federal law: legislation, DataJud, STJ, CARF, TST, TCU citations.
-
gb-eli-mcp io.github.matematicsolutions/gb-eli-mcp
MCP server for UK legislation, case law (Find Case Law), GOV.UK tribunal decisions and HMRC manuals.
-
Research Indonesian legislation, verify Pasal citations, trace recorded amendments, and discover Constitutional Court decisions with source-linked evidence.
-
us-eli-mcp io.github.matematicsolutions/us-eli-mcp
US law MCP: bills, US Code, Federal Register, executive orders, case law (state+federal), eCFR
Has a listing on Copilot CLI: github/awesome-copilot (5)
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
A runtime-portable 5-agent quality gate that adjudicates text artifacts before they ship. Five role-conditioned LLM deliberators run a 2-round async protocol with cross-read…
-
Query Anarlog meetings locally, or connect through OAuth to read opted-in Cloud snapshots.
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
Comprehensive collection for building declarative agents with Model Context Protocol integration for Microsoft 365 Copilot
Has a listing on Copilot CLI: github/copilot-plugins (5)
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
workiq-productivity
WorkIQ productivity skills powered by the local WorkIQ CLI — read-only insights across email, meetings, calendar, Teams, SharePoint, projects, and people.
-
mcp-apps
Generate MCP App widgets for MCP tools. Produces self-contained HTML widgets using the MCP Apps protocol.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
Has a listing on Cursor: cursor/plugins (5)
Has a listing on Docker MCP Catalog (5)
-
An MCP server to help make U.S. Government open datasets AI-friendly.
-
The Official Model Context Protocol (MCP) server for Kagi Search & other tools.
-
🔥 Official Firecrawl MCP Server - Adds powerful web scraping and search to Cursor, Claude and any other LLM clients.
-
Production-ready RAG service to search and retrieve data from your documents.
-
oxylabs-mcp io.oxylabs/oxylabs-mcp
Fetch and process content from specified URLs & sources using the Oxylabs Web Scraper API.
Has a listing on Official MCP Registry (5)
-
colombian-law-mcp eu.ansvar/colombian-law-mcp
Colombian legislation via MCP — full-text search across statutes and provisions
-
mcp ai.ragjur/mcp
Brazilian legal search and jurimetria: 115M+ court decisions from 90+ courts across 14 MCP tools.
-
costa-rican-law-mcp eu.ansvar/costa-rican-law-mcp
Costa Rican legislation via MCP — full-text search across statutes and provisions
-
mcp-saos io.github.matematicsolutions/mcp-saos
MCP server for Polish court judgments via the SAOS API with verifiable citations.
-
peruvian-law-mcp eu.ansvar/peruvian-law-mcp
Peruvian legislation via MCP — full-text search across statutes and provisions
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Is this your plugin?
Add it to your projects and prove you maintain it with a file in its repository, a file on your domain or a DNS record. You get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and its remote endpoint goes on monitoring as a web service.
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.