"How to automate tasks on a MacBook" 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.

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.

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.

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.

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.

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.

Enables AI agents to perform AML and compliance risk scoring for crypto addresses and transactions on Ethereum, BSC, TRON, TON, and Bitcoin, returning 0–100 risk scores, bands, flags, and detailed signals.

Trust and quality infrastructure for AI agents. 233+ quality-scored capabilities for company data, compliance checks, financial validation, and more. Every capability has a transparent SQS quality score. Audit trails on every call. EU AI Act support.

Validates and calculates Korean capital gains tax on real estate transactions with explanation. Supports multiple ownership types, exemptions, and detailed tax breakdowns.

Records a sale of a vehicle, equipment or stock and produces a printable bill of sale with signature lines. Drafts can be edited and finalized into a frozen signing copy rendered as Markdown or self-contained HTML for print-to-PDF.

Provides deal mechanics for creators to understand and negotiate pricing models, usage rights, and negotiation moves, based on structure rather than rate quotes.

LicenseGuard is an MCP server that checks whether dependency licenses impose legal obligations based on your distribution model, enabling informed decisions before adding dependencies.

MCP server for answering questions about Apache Software Foundation policies, offering tools to list, retrieve, and search policy documents on releases, licensing, branding, security, infrastructure, and incubator topics.