Sley 2.0 Sley 2.0 is a machine-native programming system for AI agents. Programs are typed semantic graphs rather than text files. Agents query the graph, propose typed changes, and a deterministic kernel validates each change before it is committed atomically. Released open source under Apache-2.0 as a static Linux binary.