Search for a command to run...
loading…
2 MCPs · 0 installs total
Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WA
