Serveur MCP
edict
io.github.Sowiedu/edict
Ce que fait ce MCP
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Capacités
Outils
0
outils
Les métadonnées des outils ne sont pas disponibles publiquement.
MCP Radar n’a encore récupéré aucun outil depuis ce serveur.