Développement · Serveur MCP local

Edict

AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.

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.Sowiedu/edict
Version
1.9.2
Statut
Actif
Catégorie
développement
Transport
stdio (processus local)
Paquet
npm
Publié
11 mars 2026
Mis à jour
11 mars 2026
Éditeur
Sowiedu (GitHub)
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/Sowiedu) · comment
Dépôt
github.com/Sowiedu/Edict
Source
Entrée dans l’API du registre

Paquets

RegistrePaquetVersionTransportVariables d’environnement
npmedict-lang1.9.2stdioAucune déclarée

Comment connecter Edict

Edict s’exécute en local depuis un paquet Node.js publié sur le registre npm : edict-lang, version 1.9.2. 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 edict-lang@1.9.2.

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": {
    "edict": {
      "command": "npx",
      "args": [
        "-y",
        "edict-lang@1.9.2"
      ]
    }
  }
}

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

Autres serveurs : développement

Voir les 5 152 →
ServeurExécutionPoint de terminaison ou paquet
Edge NetworkDeploy and manage Edge Network cloud: sites, VMs, storage, DNS, Shield, Assist. Agent self-signup.Distant · HTTPVérification en direct : ✓ poignée de mainedge.network
EdgegapDeploy and operate multiplayer game servers on Edgegap's global edge network.Distant et local · HTTP et stdioVérification en direct : ✓ poignée de mainmcp.edgegap.dev
Edgegate MCPRegression-test AI models on real Snapdragon and Jetson hardware, with signed evidence for CI.Local · stdionpm : edgegate-mcp
EdgehoundWrites adversarial test suites for AI-built code. Your agent's test engineer.Distant · HTTPVérification en direct : connexion requisegauntlet.mcpize.run
edumints SCORM MCPCompiles structured specs into SCORM 1.2/2004 e-learning packages. 30 tools, quality gate, no LLM.Distant · HTTPVérification en direct : connexion requisescorm.edumints.com
Efficient GitlabToken-efficient GitLab MCP: 167 tools via 3 meta-tools, field projection, keyset pagination.Local · stdionpm : efficient-gitlab-mcp-server
Ejentum MCPReasoning, code, anti-deception, memory harness MCP tools. Stdio or HTTPS api.ejentum.com/mcp.Distant et local · HTTP et stdioVérification en direct : ✗ pas de poignée de mainapi.ejentum.com
El Buen Agente MCPLa guía 'El Buen Agente' como 18 tools para evaluar, mejorar y construir agentes LLM. En español.Distant · HTTPVérification en direct : ✓ poignée de mainel-buen-agente-mcp-production.up.railway.app