io.github.Sowiedu/edict
厂商声明
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
协议与传输
- 版本
- 1.9.2
- 传输方式
- unknown
能力与权限
- Tools/Resources/Prompts能力
- 未声明
- 权限范围
- 未声明
- 兼容性
- 未声明
- 信息性质
- vendor_claim(厂商声明)
资料有误或需要补证?反馈该条目
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
资料有误或需要补证?反馈该条目