edict-lang
Sowiedu esm cjs
Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.
Version 1.23.2 License MIT
Keywords
programming-languageai-agentscompilerwebassemblywasmmcpmodel-context-protocolformal-verificationtype-systemeffect-systemjson-astllmz3smtcontract-verification
INSTALL
Requests 0
Bandwidth 0
Top version - 0
Full edict-lang Download Stats 
ShareKeywords
programming-language
ai-agents
compiler
webassembly
wasm
mcp
model-context-protocol
formal-verification
type-system
effect-system
json-ast
llm
z3
smt
contract-verification
ast
Get a badge for your package
