"A powerful filesystem that works on both Windows and Mac" matching MCP servers:

A read-only MCP server that verifies public GitHub commits against static contracts and returns signed receipts, supporting only exact lowercase 40-character commit SHAs.

Provides LLM-optimized filesystem access with intelligent file pagination for large files, lightning-fast ripgrep-powered code search with regex support, and security sandboxing to safely explore and search codebases.

A validation layer for AI coding assistants that enforces explicit LLM evaluations on plans, code diffs, and tests to ensure safer and higher-quality code.

Provides LLM-optimized tools for advanced code analysis, repository complexity evaluation, and call graph generation. It enables users to visualize directory structures, detect code patterns, and build semantic context with significant token savings.

A production-ready MCP server enabling Claude and other LLMs to perform intelligent file operations with minimal token usage.

locidx

Codebase Q&A agent with git-history awareness. Explore a repo with list_files, read_file, and search, plus git log, blame, and diff and a repo map to answer "why did this change?" questions. Runs locally as an MCP server for Claude Code and other MCP clients.

A lean, local knowledge graph that joins a repo's code to its aSPARK delivery artifacts, enabling agents to trace user stories to code and assess impact of changes, served over MCP.

Enables AI agents to check and repair EasyCrypt proofs by inspecting proof states, safely trying tactics, applying accepted snippets, and searching the standard library through EasyCrypt's batch CLI.

Enables AI agents to analyze and diff binaries by driving Ghidra headless or inside its GUI, exposing native reverse-engineering tools such as listing functions and segments, searching strings, decompiling, disassembling, and following cross-references. Ships with a devcontainer and supports local stdio or remote HTTP deployment.

Enables MCP clients to load eight on-demand coding skills and inspect project repositories through bounded, read-only map, search, read, diff, checks, and style tools. It keeps context lean by loading skill bodies only when needed and limiting repository scan and output sizes.

Enables executing arbitrary Joern/CPGQL queries against a loaded Code Property Graph, loading source code in multiple languages (PHP, Java, JavaScript, Python, C/C++) to build new CPGs, and inspecting loaded projects and the active workspace. It communicates with a running Joern server over its synchronous HTTP query endpoint, so no state polling is required.

Enables read-only retrieval and paginated text inspection of Visual FoxPro source and binary files from Gitea repositories, converting supported binaries to text via FoxBin2Prg without commits or pushes.

Zero-dependency MCP server inspector for protocol conformance, tool annotations, and capability checks.

Enables AI coding agents to inspect a project's design tokens and component catalog, audit React/Tailwind files against seven static UI quality rules, score overall UI health, and apply auto-fixes that are re-audited and reverted on regression. It works both locally over filesystem access and remotely on raw TSX/JSX or CSS snippets passed directly as strings.

MCP server for Speakeasy — Windows API emulation for binary analysis. It runs a .exe in a Wine-like sandbox and returns a structured API trace.

SkillTotal is a local stdio MCP server that lets an agent check a component before installing it. It statically analyzes MCP servers, agent skills, npm/PyPI packages and repos for supply-chain risks, dangerous capabilities (shell, filesystem, network, credentials), prompt-injection surfaces like tool poisoning, and exfiltration paths. Each finding cites file, line and snippet.

Local stdio MCP server (npx -y caveat-lang mcp) with five tools that validate, check, test and explain programs in Caveat, a rules language whose decisions keep their evidence, grounds and caveats. It also finds what depends on a piece of evidence, so a withdrawn input still leaves a past decision's original basis on record.

embedded code search engine CLI -AST based that just works - improves speed and efficiency for coding agent

A deterministic structural code map server for AI agents, giving them the shape of a codebase (imports, exports, classes, functions, signatures, comments, TODO-markers) without reading whole files into context. Powered by tree-sitter WASM grammars, it runs anywhere Node 18+ works.

Integrates Vale prose linting into AI coding assistants, enabling users to check text files for style and grammar issues using Vale's powerful linting engine. Provides automated style feedback with smart configuration discovery and rich formatted results.

Gives an AI agent complete knowledge of a specific DevExpress XAF application: its entities, controllers, actions, business rules, Model Editor customizations, custom property editors and the version-gated data migrations that ran once on a production database. Reads the source with Roslyn without compiling it, so it works on a branch that does not build and needs no DevExpress licence.

Enables logical entailment and satisfiability checks by dispatching formal SMT-LIB queries to both Z3 and cvc5, returning auditable solver verdicts, counterexamples, and caveats.

Checks a code repository without running it: Safe, Works and Complete scores with an A-F grade, catching leaked keys, dangerous calls, invented or lookalike packages, broken imports and missing project files. Standard-library Python; MCP tools scan, orphans and explain.

Provides AI agents with powerful JavaScript/TypeScript code analysis and transformation capabilities using the tree-hugger-js library.

An MCP server that lets AI agents review code using language models, supporting git diffs, files, and snippets with severity levels. Works with Ollama (local) and hosted providers like OpenAI, Anthropic, and OpenRouter.

Enables analysis of any GitHub repository to get architecture, file roles, execution flows, system design Q\&A, and structured agent context. Works with MCP-compatible clients like Claude Desktop, Cursor, and Windsurf.

Provides AI assistants with secure, read-only access to ShadowGit repositories for debugging and code analysis. Enables powerful analysis of fine-grained git history captured automatically by ShadowGit's continuous commit tracking.

A Model Context Protocol (MCP) server that helps AI coding assistants identify critical design issues in code, rather than just focusing on cosmetic problems when asked to improve code.

An MCP server that connects Gemini 2.5 Pro to Claude Code, enabling users to generate detailed implementation plans based on their codebase and receive feedback on code changes.