MCP_SERVER
50
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
MCP & Tools / 工具连接器NetworkScanned
Sowiedu
1 skills Unclaimed
1 skills Unclaimed
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.