Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Descripción del creador (original en inglés)
67 semantic C#/.NET analysis tools via Roslyn: navigation, refactoring, codegen, audit.
Estos tres nunca se combinan en una sola puntuación: las opiniones, las mediciones y la popularidad son cosas distintas.
Todavía no escribimos un resumen sencillo para este. Abajo están los datos que leímos del registro.
Elige la app de IA que usas y copia la configuración.
DOTNET_SOLUTION_PATH, ROSLYN_LOG_LEVEL, ROSLYN_TIMEOUT_SECONDSNecesitas
¿Qué app usas?
Elige tu app arriba. La recordamos, así que la próxima vez el botón dirá “Instalar en …”.
Abre Claude Desktop → Settings → Developer → Edit Config y pega esto en claude_desktop_config.json
{
"mcpServers": {
"sharplens": {
"command": "npx",
"args": [
"-y",
"sharplens-mcp"
],
"env": {
"DOTNET_SOLUTION_PATH": "your-value",
"ROSLYN_LOG_LEVEL": "your-value",
"ROSLYN_TIMEOUT_SECONDS": "your-value"
}
}
}
}Ejecuta esto en tu terminal
claude mcp add sharplens --env DOTNET_SOLUTION_PATH=your-value --env ROSLYN_LOG_LEVEL=your-value --env ROSLYN_TIMEOUT_SECONDS=your-value -- npx -y sharplens-mcpCompleta los valores vacíos antes de ejecutarlo.
Pégalo en .cursor/mcp.json de tu proyecto, o en ~/.cursor/mcp.json
{
"mcpServers": {
"sharplens": {
"command": "npx",
"args": [
"-y",
"sharplens-mcp"
],
"env": {
"DOTNET_SOLUTION_PATH": "your-value",
"ROSLYN_LOG_LEVEL": "your-value",
"ROSLYN_TIMEOUT_SECONDS": "your-value"
}
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Pégalo en .vscode/mcp.json de tu proyecto
{
"servers": {
"sharplens": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"sharplens-mcp"
],
"env": {
"DOTNET_SOLUTION_PATH": "your-value",
"ROSLYN_LOG_LEVEL": "your-value",
"ROSLYN_TIMEOUT_SECONDS": "your-value"
}
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Este se ejecuta en tu computadora, y ChatGPT solo puede conectarse a servidores en internet. Elige otra app.
Tu elección se guarda en una cookie en este dispositivo; no necesitas cuenta.
DOTNET_SOLUTION_PATH envROSLYN_LOG_LEVEL envROSLYN_TIMEOUT_SECONDS envEsta configuración se genera a partir de la ficha del creador en el registro. Si el README dice otra cosa, sigue el README.
Se ejecuta en tu computadora; la lista de herramientas aparece en tu app de IA después de instalarlo.
Revisamos información que cualquiera puede ver; no hemos leído el código. Las revisiones que no aplican no se cuentan. · Revisado el 9 nov 2026
El nombre en el registro se verificó con la cuenta de GitHub pzalutski-pixel, dueña del repo
Todavía no hemos leído este repo en GitHub
Todavía no hemos leído este repo en GitHub
Este se ejecuta en tu computadora; no hay endpoint en internet
Se ejecuta en tu computadora y usa ajustes locales en su lugar
Se ejecuta en tu computadora; solo podemos leer listas de herramientas de endpoints en internet
Comparado con todos los servidores activos de esta categoría en el registro. Las estrellas solo cuentan cuando quien lo publica es dueño del repo.
Superó 1 de 1 revisiones básicas aplicables. No hemos leído el código. Antes de agregar una clave o un token, revisa qué acceso pide el servidor y usa una clave que tenga solo los permisos que necesitas.
El registro no indica ninguna clave obligatoria, aunque algunos servidores te piden iniciar sesión la primera vez que los usas.
Se ejecuta en tu computadora. Tu app de IA lo inicia cuando hace falta, y los datos no pasan por los servidores del creador (a menos que el propio servidor llame a un servicio en línea).
El repo de GitHub cambió por última vez –, y la última versión (1.5.3) llegó al registro hace 6 meses.
Las apps compatibles con MCP, como Claude Desktop, Claude Code, Cursor y VS Code. También necesitas Node.js, .NET en tu computadora.
En la misma categoría: Spec Driven Development, Remote Desktop Commander, alalanet — check before you pay
Servidores de la misma categoría hechos por otros creadores, ordenados por estrellas.
Cómo leer una tarjeta:↓ Descargas por semanai★ Estrellas de GitHubiTres pilares: reseñas · revisiones · usoiActualizado = fecha en que se publicó la última versión en el registroi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Check packages, MCP servers and x402 endpoints before agents install or pay. Signed.
Copiado tal cual del repo del creador. PopNx MCP no lo ha revisado ni lo respalda. Se quitaron HTML, imágenes y scripts. Los enlaces llevan fuera de este sitio.
A Model Context Protocol (MCP) server providing 92 AI-optimized tools for .NET/C# semantic code analysis, navigation, refactoring, and code generation using Microsoft Roslyn.
Built for AI coding agents - provides compiler-accurate code understanding that AI cannot infer from reading source files alone.
dotnet tool install -g SharpLensMcp
Then run with:
sharplens
npx -y sharplens-mcp
dotnet build -c Release
dotnet publish -c Release -o ./publish
dotnet tool install -g SharpLensMcp
npx -y sharplens-mcp
{
"mcpServers": { "sharplens": { "type": "stdio", "command": "npx", "args": ["-y", "sharplens-mcp"], "env": { "DOTNET_SOLUTION_PATH": "/path/to/your/Solution.sln (or .slnx)" } } } }
Claude Code has native LSP support for basic navigation (go-to-definition, find references). SharpLensMcp adds deep semantic analysis:
| Capability | Native LSP | SharpLensMcp |
|---|---|---|
| Go to definition | ✅ | ✅ |
| Find references | ✅ | ✅ |
| Find async methods missing CancellationToken | ❌ | ✅ |
| Impact analysis (what breaks?) | ❌ | ✅ |
| Dead code detection | ❌ | ✅ |
| Complexity metrics | ❌ | ✅ |
| Safe refactoring with preview | ❌ | ✅ |
| Batch operations | ❌ | ✅ |
| Environment Variable | Description | Default |
|---|---|---|
DOTNET_SOLUTION_PATH | Path to a .sln, .slnx or .slnf file (or a directory holding exactly one) to auto-load on startup; the load runs beside the request loop, so initialize answers immediately | None (must call load_solution) |
SHARPLENS_ABSOLUTE_PATHS | Use absolute paths instead of relative | false (relative paths save tokens) |
SHARPLENS_LOG_LEVEL | Logging verbosity: Trace, Debug, Information, Warning, Error | Information |
SHARPLENS_TIMEOUT_SECONDS | Timeout for long-running operations | 30 |
SHARPLENS_MAX_DIAGNOSTICS | Maximum diagnostics to return | 100 |
SHARPLENS_ENABLE_SEMANTIC_CACHE | Cache the file-path to document lookup | true (set to false to disable) |
The pre-1.6.0 ROSLYN_* spellings of these variables are still read as a fallback; the SHARPLENS_* spelling wins when both are set. Boolean values are case-insensitive. A number that does not parse or is below its minimum falls back to the default, and one above its maximum is capped; each case logs a warning to stderr.
A project built for several target frameworks is one project to every tool: each result is reported once, with a targetFrameworks list where it exists only under some frameworks. projectName accepts the plain name (MyLib) for all frameworks, or a framework-qualified name (MyLib(net8.0)) for one.
If DOTNET_SOLUTION_PATH is not set, you must call the load_solution tool before using other tools.
Tool names no longer carry the roslyn: prefix — the colon violates the MCP tool-name pattern (^[a-zA-Z0-9_-]{1,64}$), which some clients enforce. Every tool keeps its name minus the prefix:
| 1.5.x name | 1.6.0 name |
|---|---|
roslyn:load_solution | load_solution |
roslyn:get_diagnostics | get_diagnostics |
roslyn:rename_symbol | rename_symbol |
| ...same rule for all tools... | drop the roslyn: prefix |
tools/list publishes only the new names. Calls using the old prefixed names are still accepted as aliases for one release and will be removed in the following one.
AI models may have trained bias toward using their native tools (Grep, Read, LSP) instead of MCP server tools, even when SharpLensMcp provides better capabilities.
To ensure optimal tool usage:
CLAUDE.md: For C# code analysis, prefer SharpLensMcp tools over native tools:
search_symbols instead of Grep for finding symbolsget_method_source instead of Read for viewing methodsfind_references for semantic (not text) references
The semantic analysis from Roslyn is more accurate than text-based search, especially for overloaded methods, partial classes, and inheritance hierarchies.
Important: SharpLensMcp maintains an in-memory representation of your solution for fast queries. When files are modified externally (via Edit/Write tools), the agent is responsible for synchronizing changes.
sync_documents:| Action | Call sync_documents? |
|---|---|
| Used Edit tool to modify .cs files | ✅ Yes |
| Used Write tool to create new .cs files | ✅ Yes |
| Deleted .cs files | ✅ Yes |
| Used SharpLensMcp refactoring tools (rename, extract, etc.) | ❌ No (auto-updated) |
| Modified .csproj files | ❌ No (use load_solution instead) |
# After editing specific files
sync_documents(filePaths: ["src/MyClass.cs", "src/MyService.cs"])
sync_documents()
A full sync also picks up new .cs files the project's compile items include. SharpLensMcp's apply tools write only the files an edit changes, keep each file's encoding and line endings, and refuse with STALE_DOCUMENT when a target file changed on disk since it was read — run sync_documents, then retry. They also refuse with UNSUPPORTED_ENCODING to write a file whose bytes its encoding cannot reproduce (a BOM-less file that is not valid UTF-8 on a system whose fallback code page is UTF-8, such as Linux); save it as UTF-8 first.
This mirrors how LSP (Language Server Protocol) works - the client (editor) notifies the server of changes. This approach:
If you don't sync: Queries may return stale data (old method signatures, missing new files, etc.)
success/error/data format with suggestedNextTools| Tool | Description |
|---|---|
get_symbol_info | Semantic info at position |
go_to_definition | Jump to symbol definition |
find_references | All references; each classified read/write/invocation/cast/typeof/nameof/attribute; optional kind filter |
find_implementations | Interface/abstract implementations |
find_callers | Impact analysis - who calls this? |
get_call_graph | Multi-hop callers/callees graph with depth bound + cycle detection |
find_path_between | Reachability + the connecting call path(s) between two methods; follows dispatch, with barriers and a checkpoint |
get_type_hierarchy | Inheritance chain |
search_symbols | Glob pattern search (*Handler, Get*) |
semantic_query | Multi-filter search (async, public, etc.) |
get_type_members | All members by type name |
get_type_members_batch | Multiple types in one call |
get_method_signature | Detailed signature by name |
get_derived_types | Find all subclasses |
get_base_types | Full inheritance chain |
get_attributes | List attributes on a symbol |
get_containing_member | Enclosing symbol at position |
get_method_overloads | All overloads of a method |
find_attribute_usages | Find types/members by attribute |
get_external_type_info | Inspect NuGet/BCL/external assembly types — members + XML docs |
resolve_stack_trace | Map a pasted stack trace to file/line/symbol, mangling undone |
get_extension_methods | Extensions applying to a type — classic and C# 14 blocks |
get_documentation | Full XML docs for a symbol with expanded |
get_super_method | Navigate to the base member / interface members a member implements |
| Tool | Description |
|---|---|
get_diagnostics | Compiler errors/warnings + configured analyzer findings (StyleCop, Roslynator, NetAnalyzers); matches CI |
diff_api_surface | Public-API breaking-change report vs a git ref |
get_exception_flow | Which exceptions can escape a method, and where they're caught |
find_similar_code | Structural similarity search (token-shingle fingerprints) |
remove_unused_code | Compute dead-code removals + newly unused usings (generation-only) |
find_dead_branches | Unreachable basic blocks per method (real CFG, not heuristics) |
add_missing_imports | Compute the usings that fix CS0246/CS0103 (generation-only) |
analyze_data_flow | Variable assignments and usage |
analyze_control_flow | Branching/reachability |
analyze_change_impact | What breaks if changed? |
check_type_compatibility | Can A assign to B? |
get_outgoing_calls | What does this method call? |
find_unused_code | Dead code detection |
validate_code | Compile check without writing |
get_complexity_metrics | Cyclomatic, nesting, LOC, cognitive |
find_circular_dependencies | Project and namespace cycle detection |
get_missing_members | Unimplemented interface/abstract members |
| Tool | Description |
|---|---|
rename_symbol | Safe rename across solution |
change_signature | Add/remove/reorder parameters |
extract_method | Extract with data flow analysis |
extract_interface | Generate interface from class |
generate_constructor | From fields/properties |
move_type_to_file | Compute the contents to move a type into its own file (generation-only) |
split_type | Compute a partial-class split for selected members (generation-only) |
organize_usings | Sort and remove unused |
organize_usings_batch | Batch organize multiple files |
format_document_batch | Batch format files in project |
get_code_actions_at_position | All Roslyn refactorings at position |
apply_code_action_by_title | Apply any refactoring by title |
implement_missing_members | Generate interface stubs |
encapsulate_field | Field to property |
inline_variable | Inline temp variable |
extract_variable | Extract expression to variable |
| Tool | Description |
|---|---|
add_null_checks | Generate ArgumentNullException guards |
generate_equality_members | Equals/GetHashCode/operators |
generate_test_stub | Compilable test skeleton for a method (framework auto-detected) |
| Tool | Description |
|---|---|
get_type_overview | Full type info in one call |
| analyze_method | Signature + callers + outgoing calls
Solo se muestra el principio; lee el resto en el repo