Développement · Serveur MCP local
Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Ce qu’indique le MCP Registry
L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.
- Nom dans le registre
io.github.formulahendry/spec-driven-development- Version
- 0.1.1
- Statut
- Actif
- Catégorie
- développement
- Transport
- stdio (processus local)
- Paquet
- npm
- Publié
- 26 septembre 2025
- Mis à jour
- 26 septembre 2025
- Éditeur
- formulahendry (GitHub) · 2 serveurs avec une page ici
- Espace de noms
- Espace de noms vérifié par le MCP Registry via GitHub (github.com/formulahendry) · comment
- Dépôt
- github.com/formulahendry/mcp-server-spec-driven-development
- Source
- Entrée dans l’API du registre
Paquets
| Registre | Paquet | Version | Transport |
|---|---|---|---|
| npm | mcp-server-spec-driven-development | 0.1.1 | stdio |
Comment connecter Spec Driven Development
Spec Driven Development s’exécute en local depuis un paquet Node.js publié sur le registre npm : mcp-server-spec-driven-development, version 0.1.1. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Node.js ; les clients le lancent généralement avec npx - la commande habituelle est npx -y mcp-server-spec-driven-development@0.1.1.
Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :
{
"mcpServers": {
"spec-driven-development": {
"command": "npx",
"args": [
"-y",
"mcp-server-spec-driven-development@0.1.1"
]
}
}
}Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur
Du même éditeur : formulahendry (GitHub)
| Serveur | Exécution |
|---|---|
| Code RunnerCode Runner MCP Server which can run code in various programming languages. | Local · stdio |
Autres serveurs : développement
| Serveur | Exécution |
|---|---|
| Spark - AI Assets MarketplaceSearch and fetch AI agents, skills, prompts and MCP connectors from the Spark marketplace. | Distant · HTTPVérification en direct : ✓ poignée de main |
| Spark SQLQuery Spark SQL clusters via Thrift/HiveServer2. Works with Spark, EMR, Hive, Impala. | Local · stdio |
| Sparkforensics MCPMCP server for diagnosing Apache Spark event-log performance issues and comparing runs. | Local · stdio |
| spawnpointDeploy the small apps your agent builds: one tool call returns a live, private shareable HTTPS link. | Distant · HTTPVérification en direct : connexion requise |
| Spec Score MCPScore your specs before feeding them to an LLM. MCP server with radar chart visualization. | Local · stdio |
| Speckitacceptance MCPPaid remote MCP for spec driven development acceptance gate MCP, structured receipts, audit logs, an. | Distant · HTTPVérification en direct : ✗ pas de poignée de main |
| SpecLeftPython intent tracing MCP: map specs to pytest tests, monitor implementation progress, offline-only. | Local · stdio |
| specmateBSV coding knowledge engine for AI agents - pre-compile traps and post-compile diagnosis. | Local · stdio |