Safescript – A Language for AI Era

9 hours ago

SafeScript is a programming language designed specifically for AI agents, focusing on security and predictability.
It eschews traditional sandboxes by making the language itself a secure environment with a closed instruction set, removing the need for VMs, containers, or sandboxes.
Programs are static directed acyclic graphs (DAGs) that ensure termination, lacking loops and recursion, and instead rely on map, filter, and reduce for iteration.
It provides formal data-flow tracking and resource bounds that can be inspected prior to execution, enhancing safety and performance.
The language includes a signature system that statically analyzes programs to reveal data flows, resource usage, and potential security risks, enabling automatic detection of malicious updates.
SafeScript supports imports with hash verification and permission assertions to enforce security guarantees across dependencies.
It offers transpilers to TypeScript and Python, allowing programs to be run without the SafeScript runtime, and includes a CLI for running, testing, and documenting programs.
Built-in operations cover I/O, pure functions, and cryptography, but exclude dangerous capabilities like filesystem access or dynamic execution.
Testing is integrated within the language using assertions and mocking via override, facilitating secure and verifiable agent skills.

Hasty Briefsbeta