"Using Python REPL from an MCP server on Windows" matching MCP servers:

MCP server that exposes the OBBBA No Tax on Tips federal deduction logic as callable tools, enabling users to check eligibility and estimate tip deductions.

A base MCP server in Python providing tools for basic operations (ping, sum, time, list invert) and legal jurisprudence search via LexML Brasil.

MCP server for Esheria Regulatory Pack API, enabling regulatory intelligence tools such as health checks, pack discovery, obligations, penalties, and citation-backed compliance workflows.

Enables insurance claims review assistance by querying a knowledge graph of Korean standard insurance terms, restoring applicable policy versions by enrollment date, and returning coverage/exclusion determinations with cited provisions.

Metis gives AI agents expert know-how that named reviewers have approved, and only where its recorded conditions match the situation. High-risk situations go to a person. When an agent sees practice depart from procedure, it can send the expert one short question. Every retrieval is recorded on a hash-linked evidence chain.

Read-only ProofRelay MCP verifier for non-confidential evidence bundles. Exposes 22 public-safe tools, 11 resources, and 11 prompts for bundle integrity checks, receipt-chain review, checkpoint recommendations, MCP risk metadata review, and real-estate closing proof-pack readiness.

Predicts the outcome of Dutch court cases dismissed, partly granted, or granted using a model trained on 609,715 rulings, with the outcome leakage measured and removed: 92% of Dutch judgment texts state the outcome verbatim, 0.1% remains after the cut, giving 78.2% accuracy against a 43.7% majority baseline. The lekkage_check tool exposes that same measurement so anyone can test a datase

An MCP connector that lets AI agents search and read U.S. case law and statutes from Freecase, providing tools for full-text search and retrieval of legal documents.

Enables checking US case citations from Claude Desktop, Claude Code, Cursor, and the OpenAI Agents SDK before filing a draft.

An MCP server for the CourtMesh public API that enables AI clients to search and analyze Indian court case law, covering over 310 million case records from the Supreme Court, High Courts, District Courts, and tribunals.

An MCP server for searching the Jurisprudencia de Buenos Aires (JUBA) database for legal summaries and full-text judicial rulings. It enables AI assistants to perform advanced searches across various legal matters from the Supreme Court of the Province of Buenos Aires.

Lets an agent verify VSL settlement receipts entirely offline and produce signed triggers authorizing a settlement, with the signing key and endpoint fixed at start-up rather than passed in tool calls. When started with an endpoint and token, it can also request a receipt from an issuer, which is the only tool that touches the network.

Enables searching UK case law on BAILII and retrieving judgments with automatic section extraction (summary, conclusions, etc.). Runs locally to avoid BAILII's cloud IP blocks.

Enables querying over 3,200 Dutch statutes (AVG, Wetboek van Strafrecht, Burgerlijk Wetboek, etc.) with verbatim, citation-grounded text from official sources, directly from MCP-compatible AI assistants.

Deterministic SNAP eligibility logic, exposed as auditable Model Context Protocol tools. An AI agent can read, reason, and orchestrate, but the eligibility determination itself is made by versioned, tested, cited code that a caseworker, an auditor, or a court can inspect.

Generates legal policies (privacy, terms, cookies, etc.) directly from AI coding tools by analyzing codebase context.

Helps independent inventors calculate USPTO fees, determine entity status, track patent deadlines, and understand procedural rules without needing an attorney.

Enables deterministic evaluation of workplace injury recordability under 29 CFR Part 1904, using 11 typed triage tools to return cited determinations for OSHA log entries.

An MCP server that validates Japanese corporate numbers and invoice registration numbers, and normalizes/matches company names across notation variants.

Read and check European e-invoices (Factur-X, ZUGFeRD, XRechnung, UBL, CII) from an AI assistant: contents in plain text plus an EN 16931 consistency check.