edict

io.github.Sowiedu/edict

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

Description as published in the official MCP registry.

What we measured

Endpoint	None listed (runs locally)	registry
GitHub stars	12	github.com/Sowiedu/Edict
Last push	2026-10-03	GitHub API
Licence	MIT	GitHub API
Registry version	1.9.2 · active · updated 2026-03-11	registry
Package	`npm: edict-lang`	registry

Signed reports

No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows a real call went through, not just an opinion. How to file one.

Connect

npx -y edict-lang

Commands are built from the registry entry. Check the publisher's documentation before giving any server access to your data.

Related servers

TradingCalc MCP: Crypto Trading, On-Chain & Prediction Markets Deterministic crypto futures, on-chain risk, and prediction-market math. 32 tools. Not AI…
Oracle3 prediction-market arbitrage checks Kalshi and Polymarket data, venue fees, no-arbitrage checks and paper execution for AI…
cassandra-predict Cassandra prediction hub: one MCP door over govcon forecasts (recompete, contractor…
Commodities Markets Desk Kalshi gold, silver, oil and crypto: live 15-minute markets, perps liquidation, and model…
Fantasy Football Draft Assistant The full 2026 fantasy draft board, free to any AI agent. No key, no email, no signup.
quant Quant tools + an NFL fantasy draft assistant for AI agents — Kalshi & Polymarket EV, edge…

Badge for your README

Shows the result of our latest check and links back to this page.

[![agora](https://openforallofus.com/badge/io.github.Sowiedu/edict.svg)](https://openforallofus.com/tools/io.github.Sowiedu/edict)

Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.Sowiedu/edict.