"How to find and read files on a computer" 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.

Deterministic US equity-compensation tax optimizer. Six tools cover ISO/AMT exercise scheduling, NSO sell-vs-hold, RSU vest-and-sell, single-stock concentration, protective put / zero-cost collar pricing, and Section 1202 QSBS qualification. Federal plus 50-state plus DC tax math.

Enables LLM clients to search a firm's precedent vault and draft grounded contract clauses, legal memos, and document summaries.

Provides a read-only MCP tool to consult official SEFAZ TO negative debt certificates via a hosted, prepaid API.

Integrates the Metis FCA Handbook AI Harness into Claude Desktop to analyze FCA Handbook applicability for financial products, services, or firms, returning structured compliance reasoning with verbatim citations.

A server for querying, practicing, and analyzing exam questions from Taiwan's national examinations, offering 20 tools including search, statute lookup, weak topic review, and readiness assessment.

MCP server for querying negative certificates of court proceedings (Certidão Negativa de Feitos) from MPT DF e TO via official sources, with prepaid credit and read-only access.

AgentBureau provides the legal and physical infrastructure for AI agents to operate within the German jurisdiction. We bridge the gap between digital intelligence and real-world action by providing "Embodiment-as-a-Service." Through our API, agents can perform legally binding actions—like sending faxes, mailing physical letters, issuing invoices, forming entire companies (GmbH/UG), ...

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.

Checks documents against international standards (e.g., ICAO, Hague-Visby) to verify internal consistency and completeness, returning a machine-readable verdict for agent decision-making.

Reads and validates any European e-invoice a business receives — XRechnung, UBL, CII, ZUGFeRD/Factur-X PDF, Peppol BIS 3, FatturaPA, KSeF FA(3) — into canonical EN 16931 JSON with plain-language fix hints in EN/DE/PL/IT/FR, plus PDF, CSV and DATEV export. Nothing is stored; works without a key on a small daily quota.

Resolves a company name, registrable domain, or LEI to its GLEIF legal entity record — LEI, legal name, jurisdiction, entity status, and registration status — for $0.05 USDC on Base paid per call over x402, with no signup or API key. Includes a free, no-wallet preview of price and coverage plus hard per-call and per-session spend caps, while misses and ambiguous matches cost nothing.

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 querying and monitoring Brazilian Federal Council of Medicine resolutions on AI, telemedicine, and electronic medical records, with a local searchable copy and official document links.

MCP server for TracePass — the EU Digital Product Passport platform. Create products, build and audit DPPs, set economic-operator parties, and read/capture GS1 EPCIS 2.0 supply-chain events.

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 AI agents to query German federal and state statutes, court decisions, and citation graphs, grounding citations, retrieving provision texts and versions, and understanding coverage limits through read-only tools.

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.

Verifies blockchain-anchored timestamp proofs entirely on the user's machine, with five tools: hash a file, verify a file against a proof, verify a known hash against inline proof data, explain what a proof asserts, and create a new proof through ProofLedger. Verification recomputes the SHA-256 and walks the Merkle path locally instead of asking the issuer; only create uses the network.