About this server
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
A local MCP package is not a public HTTP server. Do not interpret the absence of an endpoint as downtime.
Authorization: not independently verified
Available tools: not independently verified