AgentSeedA programming language for autonomous agents, where uncertainty, taint, cost and capability rules are checked at compile time.Status: v0.1.0

Effects must be discharged. Effectful operations return a Computation that has to be discharged before its value can be used.

Capabilities are signed tokens. Capability tokens are issued by the VM, signed with Ed25519, and can be attenuated and delegated.

Four grammar strata. S0 Seed for beginners and sandboxed agents, S1 Core for production, S2 Full with self-evolution hooks, S3 System for trusted orchestrators with human sign-off.

Provenance you can replay. Merkle-proofed, append-only logs support audit and deterministic replay.

Compiler and VM in Rust. seedc compiles .seed source to .aslb bytecode; seedvm runs it deterministically. MIT licensed, with a published conformance suite.

Check it yourself: Run seed check on a program: the compiler type-checks it and verifies its effect, taint and contract rules without running it.