"An overview of semiotics and its concepts" matching MCP servers:

Enables developers and product owners to scan a codebase and extract a readable business overview—features, roles, access control, data model, and endpoints—along with findings on missing or inconsistent rules, and generate shareable HTML or Markdown reports and diagrams.

Enables AI-powered generation, customization, and documentation of its-just-ui React components. Provides tools for component generation, theme management, form creation, responsive layouts, and accessibility guidance.

Enables checking project files like Dockerfile, .nvmrc, and CI workflows to determine whether pinned runtime, database, and OS versions are still supported, providing end-of-life dates, latest patches, and upgrade targets for 470+ products.

Enables AI assistants and developers to analyze code for language-specific best practices and idiomatic patterns across programming languages, CI automation, and configuration formats.

Enables local, deterministic review of GitHub and GitLab pull request diffs for secret leaks, OWASP injection issues, WCAG 2.2 AA/EU EAA accessibility gaps, EU AI Act transparency, and database RLS risks, producing risk scores, merge decisions, committable suggestions, and SARIF exports.

Provides GDB and clangd-based tools for debugging C++ programs, enabling step execution, variable inspection, diagnostics, and combined runtime-static analysis.

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.

An MCP server that extends AI coding assistants with deterministic, algorithmic capabilities such as code analysis, fault localization, and formal verification, enabling an autonomous engineering team within the IDE.

Validates Mermaid diagrams with comprehensive grammar parsing supporting 28+ diagram types. Processes markdown files, ZIP archives, and direct input with detailed error reporting and enterprise-grade performance capabilities.

Enables MCP clients to inspect, edit, and validate Arma Reforger addons in Workbench, including Enforce Script source, prefab/world files, resource GUIDs, and Workbench startup diagnostics.

Enables AI agents to run deterministic database intelligence tasks including natural-language-to-SQL synthesis, AST SQL auditing and optimization, schema migration diffing, SQL transpilation, index and normalization advice, PII scrubbing, fixture generation, connection-pool sizing, isolation-hazard auditing, and ORM model compilation over Streamable HTTP or stdio.

A local guardrail MCP server that checks agent-written code against a repo's own patterns — learned statistically from its git history, no LLM.

Enables developers and AI agents to compress context, plan token budgets, rerank results, patch code, analyze ASTs and dependencies, isolate stack traces, compile polyglot types, solve deterministic math, schedule constraints, judge A/B tests, and diff agent memory checkpoints through 12 specialized tools.

Gives coding agents read-only tools that return, in one call, a declaration's callers traced up to entry points or its callees down to 8 levels, plus a map of directories, files, declarations and every usage of a symbol. Maps TypeScript, JavaScript, Go, Python and Java using each language's own compiler, so a change's impact can be traced across imports, methods, interfaces and decorators.

truth is a deterministic fact-checker for the claims an AI coding agent makes about its own work.

MCP server for verifying AI agent claims vs reality — single-transcript inline grounding-check that flags when an agent's response states facts not in the input context, when its code silently swallows exceptions and substitutes mock data, or when its multi-turn transcript contains contradictions or unverified completion claims. Sub-second, local, free, no API calls.

MCP server that runs JetBrains' ReSharper command-line tools for code inspection and cleanup, exposed to C# coding agents over stdio.

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.

Provides the real exported API surface and type signatures of any npm package, extracted from its published TypeScript declarations, enabling AI coding agents to use functions accurately and avoid inventing nonexistent APIs.

An MCP server that gives Claude structural understanding of a codebase—dependency graph, entry points, complexity ranking, and import cycles—without reading every file into context.

Analyzes a local codebase and exposes its structure, per-file summaries, dependency graph, and complexity hotspots as tools for MCP clients like Claude.

Enables AI agents to search and read source code indexed by an OpenGrok instance using its REST search and raw file APIs. Supports full-text, definition, symbol, path, and history searches with paging, plus file lookup and line-numbered reads.

An MCP server for querying the TheAlgorithms organization across all language repos, enabling search and retrieval of algorithm implementations with in-file examples.

Cartograph is an MCP server that provides agent-native code intelligence by building a queryable code graph from a repository using tree-sitter and SQLite. It offers tools for symbol lookup, call graph traversal, blast radius analysis, and architecture overview to help coding agents answer structural questions about code.

locidx

An installable MCP server that reviews diffs/PRs against a target repository's own coding conventions, learned via RAG over its code, docs, and lint config, citing specific file:line sources.

Provides educational tools for developers to learn programming concepts, review code, get best practices, compare approaches, generate learning paths, debug, explain code, and quiz themselves.

Extract domain knowledge from codebases to reduce LLM token consumption by 20x and time in agentic search by 10x — gathers and makes concepts, naming conventions, and vocabulary queryable via MCP.

Enables smart code search in your editor using natural language queries, building an index of your workspace.