2026 dev stack alignment
Semantic Runtime (LLM-as-VM)
Agentic Harness (ERR/CT)
Formal Verification (V1-V5)
Protocol Evolution (σ-axis)
Instruction Set Architecture (§1)
Live Sandbox
Try the trasgo CLI right in your browser. (Running a Hybrid Engine via Hugging Face Router: EssentialAI/rnj-1-instruct:fastest)
trasgo — semantic-runtime-shell
Trasgo v0.2.15-verified (Web Sandbox)
Type
trasgo --help to see commands, or try the demo loop:1. trasgo init "demo"
2. trasgo boot
3. trasgo verify --all
4. trasgo send "Reduce (λx.λy.x) y"
$
Installation instructions and advanced CLI usage are available in the README.md.
Recorded demos
