lampepfl / tacit

What it does

• Scala 3 compiler. Agent-submitted code is validated and type-checked with capture checking enabled in *safe mode*, which enforces a capability-safe language subset.
• Scala REPL. A local REPL instance executes compiled code and manages state across interactions. Supports both stateless one-shot execution and stateful sessions.
• Capability safety library. A typed API that serves as the sole gateway through which agent code interacts with the real world: file system, process execution, network, and sub-agents. The library is extensible: add new capabilities by modif
• No / in pattern. matches against any path component (basename matching)
• Relative pattern with /. anchored to the filesystem root; supports *, , ?, […]