Aleph – a declarative programming language for AI agents
Aleph is a declarative language for AI agents in which every route declares what it can read, write, and compute, and anything unbounded is rejected at build time. It compiles TypeScript into a manifest that a small open-source Rust engine interprets, with auth, databases, queues, and other backend pieces built in so many apps can share one runtime and database. The material also describes per-route worst-case usage checks, schema-change classification against what's deployed, and a typed vocabulary intended to make agent-written code easy to check.