edict
本地AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
安装配置
{
"mcpServers": {
"edict": {
"command": "npx",
"args": [
"edict-lang"
]
}
}
}
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
{
"mcpServers": {
"edict": {
"command": "npx",
"args": [
"edict-lang"
]
}
}
}