AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
{
"mcpServers": {
"io-github-sowiedu-edict": {
"command": "<see-readme>",
"args": []
}
}
}No install config available. Check the server's README for setup instructions.
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
Is it safe?
No package registry to scan.
No authentication — any process on your machine can connect.
License not specified.
Is it maintained?
Last commit 4 days ago.
Will it work with my client?
Transport: stdio. Works with Claude Desktop, Cursor, Claude Code, and most MCP clients.
No automated test available for this server. Check the GitHub README for setup instructions.
This server is missing a description. Tools and install config are also missing.If you've used it, help the community.
Add informationLast scanned 1h ago
No known vulnerabilities.
Have you used this server?
Share your experience — it helps other developers decide.
Sign in to write a review.
Start a conversation
Ask a question, share a tip, or report an issue.
Sign in to join the discussion.