AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
No remote MCP endpoint is published for this listing.
No capability manifest has been published for this listing yet.