".NET Programming Development" matching MCP servers:

Provides comprehensive development tools for FastMCP projects including documentation access, NPM package version management, and TypeScript type definitions retrieval. Enables developers to fetch FastMCP documentation, analyze NPM packages, and access MCP architecture information through natural language.

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

Provides linear programming (LP), mixed-integer programming (MIP), and quadratic programming (QP) optimization capabilities using the HiGHS solver, enabling AI assistants to solve complex optimization problems like production planning, logistics, and portfolio optimization.

An all-in-one development toolkit that integrates 10 popular MCPs with comprehensive features for solo developers, supporting frontend, backend, mobile development, database management, testing, and deployment automation.

Desktop UI automation for Avalonia, WPF and .NET MAUI with a typed .NET client, CLI and MCP server for local UI testing and automation.

Provides tools to retrieve the GodPrompt universal system prompt and its components (core skill, protocols, gates, anti-patterns) for AI software development, plus task classification. Designed for progressive context usage.

Enables AI assistants to run code in 24 programming languages on HackerEarth's sandboxed servers and read the printed output or errors, without installing local toolchains. It also lists supported languages with exact identifiers for use when submitting code.

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 users to query official business registers in the UK, Norway, Finland, and France for companies registered within a chosen window, filtered by industry code, activity words, name, or place. Each run returns one flat row per company with its register number, legal form, registration date, industry codes, activity text, address, and share capital, with optional deduplication across runs and a spend cap.

Gives AI assistants sourced, up-to-date Roblox game-development knowledge: engine changes, pitfalls and libraries, each linked to DevForum, Creator Docs or GitHub. Free edition: 50 logics. Full hosted edition (600+): brickwise.dev

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.

Audits any site's UX the way a design-literate reviewer would — contrast, tap targets, type scale, colour discipline, scan patterns, copy — and returns the rule, the source line and the exact fix.

Exposes MAID Runner validation tools (validate, snapshot, test) as MCP tools, resources, and prompts for AI agents like Claude Code and Aider, enabling seamless integration with AI development workflows.

MCP server for AI-assisted development on the Lampa open-source TV app, providing read-only access to the source tree with 41 tools and 5 resources for structured analysis, planning, editing, and validation.

MCP server that vets LLM-emitted shell commands BEFORE execution — detects rm -rf nested deep in chains, package-manager glob removal (apt remove 'nvidia'), dd/mkfs filesystem destruction, chmod 777 / chown -R privilege blast, network-exfil via curl | bash, chained shutdown/reboot, git destructive ops. 30 detection rules across 8 families. Sub-second, local, free, MCP-native.

Audits images on any public web page to detect oversized images, compare natural vs rendered dimensions, and provide format breakdown, helping AI agents check image performance during development.

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.

Enables users to find people who recently started matching roles at target companies within a specified lookback window, returning flat JSON rows with profile, title, start month, prior role, move type, and source.

Source-backed Sri Lanka payslip tools for APIT/PAYE, EPF, ETF, stamp duty, net pay, and employer cost.

Enables AI coding agents to build and audit Garry's Mod GLua addons with source-aware search, static linting, net security vulnerability scanning, performance profiling, and headless testing.