"Information about Rust programming language or rust corrosion" matching MCP servers:

Enables AI agents to generate, compile, and fix Rust projects from natural language descriptions using LLMs and the Rust compiler.

Provides 23 modular tools for competitive programming, including problem analysis, algorithm planning, code generation, verification, testing, code review, and learning assistance.

Enables Codex to read, write, and design windows for E-language (易语言) programs using official IDE APIs, allowing natural language control of development workflows.

Enables AI-powered PLC programming with natural language to ladder logic conversion, L5X and .ACD project generation, and semantic search through L5X files and documentation.

An MCP server that allows coding agents to look up contextual rules and patterns on demand, providing just-in-time guidance for specific tasks like writing tests or authoring UI.

The AI-native Rust backend framework + generation platform. Help agents design, generate, verify and package complete backends.

An enhanced sequential thinking tool optimized for programming tasks that helps break down complex coding problems into structured, self-auditing thought steps with branching and revision capabilities.

A Model Context Protocol server that provides integration with LeetCode APIs, enabling automated interaction with programming problems, contests, solutions, and user data across both leetcode.com and leetcode.cn platforms.

An MCP server that enables local AI models to receive guidance from remote 'senior' AI providers like OpenAI, Anthropic, and Gemini to solve programming problems. It features intelligent multi-turn dialogue management, context synchronization, and automated session history tracking.

The IDE for agents — read by symbol, edit against a revision, validate with your own build, revert. It is a local stdio MCP server for coding agents. It reads code by symbol with tree-sitter and real language servers (Go, Java, Scala, TypeScript, Python, Rust, Ruby), edits against a known revision and returns compiler diagnostics with each edit, runs the repository's own build, test etc.

Enables coding agents to search and retrieve persistent repository memory created by Cliper, providing context, gaps, architecture, and timeline information via MCP tools.

An MCP server that integrates with mem0.ai to help users store, retrieve, and search coding preferences for more consistent programming practices.

Generates AnyLogic simulation models from natural-language prompts in Claude Code, allowing users to describe queueing systems, factories, or ERs and obtain runnable .alp files.

MCP server for Python build123d to help AIs develop and reason about 3D models and CAD

Runs as an MCP server providing file system operations, shell execution, and system information tools, allowing Claude or any MCP client to edit files and control the machine.

Connects AI assistants to the Repovive competitive-programming platform, enabling them to browse problems and contests, judge and submit code for real verdicts, track ratings, communicate with users, and author verified problems and rounds.

An MCP server leveraging the Rust-based ty type checker to provide AI models with high-performance, semantic Python code analysis and structural navigation. It enables precise symbol searching, cross-file renaming, and diagnostic reporting to improve code understanding and editing accuracy.

MCP server for the AIMFP paradigm, enabling AI assistants to manage functional programming projects with persistent database state, directive compliance, and task tracking via JSON-RPC tools.

Turns AI assistants into full-stack software engineers with 36 tools for cognitive reasoning, code validation, project scaffolding, and AI/IDE configuration generation across 130+ programming languages, databases, and frameworks.

Enables coding agents to navigate and query source code by providing context, symbols, and call graph information through a graph index.