Atlas / MCP servers / csa7mdm / DotNetDevMCP

DotNetDevMCPSAFE

mcp/csa7mdm/dotnetdevmcp

DotNetDevMCP is an open-source MCP server that gives AI coding agents Roslyn's compiler view of a .NET solution.

Verdict
SAFE
Grade
B
Trust score
89 /100
Exposed tools
—
Transport
stdio
License
NOASSERTION
Stars
0
01

Overview

From the repository's own README, as read at the audited commit. Badges and raw HTML are left out.

An MCP server that gives AI coding agents real .NET tooling: Roslyn code intelligence, dotnet build/test, affected-test selection, and an orchestrator that runs those tools concurrently as a dependency graph.

[](https://github.com/csa7mdm/DotNetDevMCP/actions/workflows/build.yml) [](https://www.nuget.org/packages/DotNetDevMCP) [](https://www.nuget.org/packages/DotNetDevMCP) [](https://github.com/csa7mdm/DotNetDevMCP/blob/main/LICENSE) [](https://dotnet.microsoft.com/download/dotnet/10.0)

Agents working on .NET code usually get by with grep and shelling out to dotnet. That means they read files instead of symbols, edit text instead of syntax trees, and run one command at a time. DotNetDevMCP replaces that with 37 tools by default (53 with the optional groups below enabled) that use the compiler's view of your solution and can run builds, tests and analysis in parallel.

New here? The wiki has a first-session tutorial, setup for every MCP client, and troubleshooting.

Install

Requires the .NET 10 SDK.

Claude Code

claude mcp add dotnetdevmcp -- dnx DotNetDevMCP --yes

VS Code / Visual Studio (.mcp.json or .vscode/mcp.json)

``

Read from source at commit 64d94c898a66OBSERVED · 2026-10-11
02

Trust audit

SAFEgrade B · trust 89/100 Nothing in the source contradicts what it says it does. Grade A is reserved for packages that have also passed the behavioural sandbox.

LayerWhat it checksResult
L0Provenance & inventoryPASS
L1Static analysis of the codeWARN
L2Instruction surface (what it tells the agent)PASS
L3Class-specific surfacePASS
L4Behavioural (sandbox)SKIPPED

What the source does

Filesystem
none-observed
Network
declared (1 observation(s))
Shell
none-observed
Dependencies
pinned
Secrets in source
none-found

Findings (6)

MEDIUMNetwork egress · net.raw_ip · CWE-200, CWE-319
src/DotNetDevMCP.Server/LocalOriginGuard.cs:34
$"http://127.0.0.1:{port}",
LOWInventory / provenance · inv.suspicious_name · CWE-1104
benchmarks/polly/results/c2-rescored.json
c2-rescored.json
Why it matters. member named after an attack tool
Fix. remove or justify
LOWNetwork egress · net.raw_ip · CWE-200, CWE-319
CHANGELOG.md:14
`http://127.0.0.1:<port>` and `http://[::1]:<port>` (the server's own port) are accepted, plus any exact value passed via
LOWNetwork egress · net.raw_ip · CWE-200, CWE-319
SECURITY.md:214
`http://localhost:<port>`, `http://127.0.0.1:<port>` and `http://[::1]:<port>` (the server's own port), plus any exact
LOWInventory / provenance · mcp.no_tools_extracted · CWE-1104
src/DotNetDevMCP.Server/.mcp/server.json
Why it matters. the tool list is enumerated at runtime by tools/list, not declared in source
Fix. the page says so rather than showing an empty table
INFOPrompt injection · prompt.authority_framing · CWE-94, CWE-1427
benchmarks/DotNetDevMCP.Benchmarks/README.md:55
- Elevated permissions may be required on some systems

Gates applied: no_behavioural_pass.

Audited 2026-10-11 · audit v0.4.1 · source sha 64d94c898a66full audit observations/trust-audit/mcp-server/csa7mdm__dotnetdevmcp.json · Report an issue / request a re-scan
03

Audit history

Every audit this server has had. A grade with a past is a grade somebody is still checking.

DateSourceVerdictGradeScoreChange
2026-10-1164d94c898a66SAFEB89first audit
04

Questions

What is the DotNetDevMCP MCP server?

DotNetDevMCP is an open-source MCP server that gives AI coding agents Roslyn's compiler view of a .NET solution.

Is DotNetDevMCP safe to connect to an agent?

The audit found nothing in the source that contradicts what it says it does, and graded it B (89/100). Grade A is held back for packages that have also passed a sandboxed behavioural run, which is why a clean server reads B.

What credentials does DotNetDevMCP need?

No credential environment variables were found in its source, so it appears to need none.

How does DotNetDevMCP run?

It speaks stdio, so it runs as a local process your client starts.

How current is this page?

The grade is for one exact copy of the source (64d94c898a66), read on 2026-10-11. The repository is watched and re-audited when it changes.

Advertisement