"Learning Programming" matching MCP servers:

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.

Contract-first programming language with a local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool compares before and after source sets and returns receipts for new authority, weaker promise tiers, and new Guarded runtime obligations.

Enables parsing, validating, and translating POEM pseudo-code specifications into code in any programming language via natural language.

Analyzes codebases to generate dependency graphs and architectural insights across multiple programming languages, helping developers understand code structure and validate against architectural rules.

A server providing programming guidelines and coding standards for multiple languages, enabling access and search of best practices for C#, Go, JavaScript, Python, and TypeScript.

MCP server for comprehensive code analysis, navigation, and quality assessment across 25+ programming languages.

A local-first codebase intelligence tool that enables AI assistants to research codebases using semantic search, multi-hop relationship discovery, and structural parsing. It allows users to extract architectural patterns and institutional knowledge across 30+ programming languages through an MCP-compatible interface.

Enables AI assistants to search and analyze codebases using Abstract Syntax Tree (AST) pattern matching with ast-grep. Supports structural code search, pattern testing, and AST visualization across multiple programming languages.

Enables codebase indexing and searching with symbolic and full-text search, supporting multiple programming languages, designed to work on any architecture including ARM64.

Enables efficient code navigation and retrieval through natural language search, BM25 ranking, and fuzzy matching across multiple programming languages. It drastically reduces token usage by allowing Claude to query specific code symbols and logic instead of reading entire files.

Enables fast code analysis and navigation through hybrid semantic search, graph-based relationship tracking, and structure exploration across multiple programming languages with optimized indexing for large codebases.

Analyzes codebases and extracts all symbols (functions, classes, methods, interfaces, etc.) from 10+ programming languages into LLM-optimized markdown format. Enables AI assistants to understand entire project structures efficiently without processing full source code.

An MCP toolkit for algorithm learning that enables AI agents to search problems, generate step-by-step hints, analyze code, and create review templates for Baekjoon and Programmers problems.

Analyzes codebases to suggest relevant learning projects and generate interactive slides with direct links to the Marble platform. It enables developers to create tailored learning experiences based on their specific technologies, patterns, and code context.

A server for analyzing technical debt across multiple programming languages, integrating with MCP-compatible tools to detect code quality issues and provide prioritized recommendations.

Enables fast semantic code search using FSQ embeddings, with zero-config indexing and support for multiple programming languages via the Model Context Protocol.

Enforces disciplined programming practices by requiring AI assistants to audit their work and produce verified outputs at each phase of development, following structured workflows for refactoring, feature development, and testing.

The toolchain of Renyi, a programming language for AI agents: check, format, run and test programs, and read the project map with every function's effects, semantic diffs and chunks for retrieval. One binary, renyi mcp.

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 inspection and analysis of project structures to detect languages, frameworks, entry points, and dependencies across multiple programming languages including Node.js, Python, PHP, Go, Java, and Rust.