"Troubleshooting System Errors on a Remote Host" 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 deterministic regulatory compliance evaluation system for SEBI Research Analyst regulations, exposing MCP tools to check compliance, get applicable rules, and retrieve audit logs.

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), ...

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.

Enables searching and downloading court documents, listing cases, and retrieving case details via the DocketBird API. It supports secure OAuth 2.0 authentication for remote access and a standard local mode for personal use.

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.

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.

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.

Enables users to search Korean National Tax Service tax law interpretations (예규) and retrieve their full body text as plain text from the National Tax Law Information System, complementing the korean-law MCP server that only provides list metadata.

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.

Enables interaction with the Argentine judiciary system (SAC - Justicia Cordoba) via Claude Desktop, supporting case searches, notifications, and procedural deadlines.

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

Austria's legal information system (RIS): federal & state law, case law, gazettes, change monitoring.

Enables searching and retrieving regulations from the Hansung University regulation management system.

Enables AI agents to perform official Brazilian trademark searches on INPI's public pePI system, including lookup by process number, mark text, owner portfolio, or Vienna figurative code, with full process details and pagination. Each user authenticates with their own pePI login, with results returned as Markdown and structured JSON plus optional local caching and HTML reports.

MCP server that directly queries the Korean National Tax Service tax law information system for tax law interpretations, precedents, and guidance. It supports exact document-number lookup, keyword search, and structured retrieval of ruling details and legal grounds.

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