claude mcp add owiedu-edict -- npx -y edict-lang
{
"mcpServers": {
"owiedu-edict": {
"command": "npx",
"args": ["-y", "edict-lang"]
}
}
}
{
"mcpServers": {
"owiedu-edict": {
"command": "npx",
"args": ["-y", "edict-lang"]
}
}
}
{
"mcpServers": {
"owiedu-edict": {
"command": "npx",
"args": ["-y", "edict-lang"]
}
}
}
About This MCP Server
The edict server is a developer tool that enables the use of the Edict programming language, which is designed for AI-agent programming and produces typed, effect-tracked, and Z3-verified output in the form of WebAssembly from JSON abstract syntax trees. It connects to the Model Context Protocol server, allowing developers to work with AI models in a standardized way. Developers would use this tool when building applications that require formal verification and compilation of AI-agent code to WebAssembly.
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.. This is a Model Context Protocol (MCP) server that extends AI assistants like Claude with developer tools capabilities via the stdio transport.
Package
edict-lang on npm
HOW TO USE
Select your AI client above to get the install command. This MCP server uses the stdio transport and is available on npm.
What tools does it provide?
The edict server extends your AI assistant with developer tools capabilities. Once installed, your AI can use its tools automatically.
