🌍 Semantic Runtime · Open Protocol · 2026-Ready

Trasgo turns LLM context into a self-correcting virtual machine.

A self-initializing semantic runtime and context codec (§1) for autonomous LLM reasoning and formal verification. Execute, verify, and evolve logic natively in the context window.

Explore the repo Read the README Open an issue

Live Sandbox

Try the trasgo CLI right in your browser. The web runtime uses Hugging Face Router with a selectable model backend. Run trasgo models and trasgo model <id> before the live demo.

trasgo — semantic-runtime-shell
Trasgo v0.2.17-verified (Web Sandbox)
Type trasgo --help to see commands, or try the demo loop:
1. trasgo init "demo"
2. trasgo models
3. trasgo model Qwen/Qwen2.5-7B-Instruct
4. trasgo boot
5. trasgo eval
6. trasgo send "Reduce (λx.λy.x) y"
 
$

Installation instructions and advanced CLI usage are available in the README.md.

2026 dev stack alignment

Semantic Runtime (LLM-as-VM) Agentic Harness (ERR/CT) Formal Verification (V1-V6) Protocol Evolution (σ-axis) Instruction Set Architecture (§1) Structured JSON mode Model-selectable sandbox

Recorded demos

Trasgo codec demo Trasgo runtime shell demo