MCP server · source category: Code Execution
Sowiedu/Edict
Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts v…
Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.
Record
- Type
- MCP server
- Category
- Developer Tools
- Authentication
- No authentication
- Pricing
- Free
- Documentation
- https://github.com/Sowiedu/Edict
- Repository
- https://github.com/Sowiedu/Edict
Fields are reproduced from the source registry as-is. “Unknown” means the source did not describe the field — it is not an inference. See the methodology for how records are collected and normalised.
Similar MCP servers in Developer Tools
- 20000419/fauxnix bash for AI agents on Windows via deterministic bash→PowerShell translation — no WSL, VM, or bash toolchain. MCP bash tool with…
- 2ools/mcp-server Turn what your assistant just built into a durable, versioned project. One free authless tool (createpublicpreview) re…
- 3KniGHtcZ/codebeamer-mcp Codebeamer ALM integration for managing work items, trackers, and projects. Provides 17 tools for reading and writing item…
- a-25/ios-mcp-code-quality-server iOS code quality analysis and test automation server. Provides comprehensive Xcode test execution, SwiftLint integration, and de…
- AaronVick/ECHORIFTMCP MCP server for EchoRift infrastructure primitives (BlockWire, CronSynth, Switchboard, Arbiter). Makes EchoRift's agent infrastructu…
- Adityaaery20/media-mcp Local image and video processing MCP server with 13 tools for resize, convert, compress, crop, thumbnail, metadata extract…
Browse all Developer Tools MCP servers.