mcp-server.io

edict

io.github.Sowiedu/edict

95
security score

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

GitHub stars
—
Last commit
never
Transport
stdio

Security scan

Last scanned 1 hour ago — static analysis of the published manifest.

  • lowManifest makes network requests.