"Reverse engineering macOS binary files and applications" matching MCP servers:

This MCP server enables searching Korean construction standards (KDS/KCS), laws from the Ministry of Government Legislation, administrative rules and interpretations, and optionally local water/wastewater design manuals to generate grounded evidence packages for engineering answers.

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.

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.

Legal document redlining engine that applies AI-generated JSON changes as professional tracked changes with comments in .docx files, producing Word-indistinguishable output.

Enables law firms and legal professionals to turn Arabic and English contract files into structured, citable context, with clause segmentation, date conversion across Hijri and Gregorian calendars, party extraction, and anchor-based verification, all without API keys or network calls.

Enables MCP-compatible AI agents to run structured searches over India's court judgments, tribunal matters, and legislation directly from Hugging Face parquet files, with automatic license attribution.

Enables AI assistants to query Taiwan's legal databases including court judgments, regulations, constitutional interpretations, and engineering committee letters, with automatic updates and offline caching.

Enables determining whether Korean patent applications/registrations are currently valid, verifying cited patent numbers in text, and searching Korean patents filtered by legal status, using KIPRIS Plus data.

Detect and redact PII, PHI, PCI and secrets — SSNs, credit cards, passports, API keys and cloud credentials — in text and in local files, using the Strac DLP API. Five tools: redact_text, detect_sensitive_data, detect_file, redact_file and detokenize.

Enables matter-scoped M&A due diligence by ingesting data rooms, classifying and tagging files, assembling review units, and executing review-table prompts to persist evidence-backed cells and derived artifacts.

Fill standard legal agreement templates (NDAs, SAFEs, NVCA docs, employment, cloud terms) and produce DOCX files.

Provides a local-first MCP server for multi-format document redaction, enabling detection of sensitive content, physical removal from PDFs, DOCX, XLSX, PPTX, and text files, and forensic audit with zero network calls.

Exposes the AKIJ Resources Document Management System to MCP clients, enabling search, listing, and retrieval of documents across risk databases, Google Drive, and legal sources via stdio JSON-RPC 2.0. Provides read-only access to 14,500+ indexed files and folders with tools for risk lookups and Bangladesh law references.

Enables searching and browsing Korean legal documents from a local git clone of legalize-kr, with tools for reading files, listing laws, searching content, and viewing git history.

A FastMCP server providing access to various Turkish legal databases including Supreme Court, Council of State, Constitutional Court, and Public Procurement Authority decisions through a standardized MCP interface for LLM applications.

MCP server for automating consultation and download of documents from Brazil's TRF1 PJe system through authenticated sessions. It uses Playwright for authenticated navigation, providing tools to query process metadata, list documents, and download full case files.

Enables coding agents to conduct local criminal case file review by parsing PDF volumes, recording facts and evidence with source citations, and generating structured Word review notes and Excel indexes without uploading files.

Connects AI clients to public Turkish legislation and court/board decisions, letting users search and retrieve legal texts, case law, and institutional rulings, and generate petition drafts and UYAP UDF files.

Enables offline-first preparation of Thailand SSO monthly contribution filings (สปส.1-10) with tools for employer management, contribution calculation, history queries, and generation of TXT and review XLSX files, while live filing remains fail-closed.