
A language for agent-authored code
GarneT
English is how you tell an agent what to do.
Garnet is how anyone else can trust what it did.
macOS · Windows · Linux
Evidence belongs with the code.
Declare →
Make the intent explicit.
Inspect →
See what the agent did.
Review →
Keep the decision human.
Verify
Check the evidence.
01 / The language, made visible
See the boundary.
Declare. Check. Review.
02 / Verify · Check the evidence
Every program has
a spectrum.
A declaration gives authority a name. The checker brings it into view.
Explore the authority model →The spectrum follows the live check above.
Made for codewith consequence.
- Declaredcapabilities.
- Boundprovenance.
- Visibleauthority.
Language foundations
Garnet brings well-precedented ideas together: declared capabilities, source provenance, and inspectable change. The contribution is the integration, not the parts.
03 / Your first check
Put Garnet to work.
Install. Create. Check.
Get Garnet / v0.8.2
Make your first check.
Install. Create. Check.
Garnet CLI
Installation details
Source builds require Rust 1.95+ and native build tools.
Next steps
Full walkthrough- 1Install
Run the command above.
- 2Verify
garnet --version - 3Create
garnet new --template cli my_app - 4Check
cd my_app
garnet check src/main.garnet
Release packages
Download Garnet.
Your platform. Your package.
All v0.8.2 assets (opens in a new tab) · Checksum and signing guide (opens in a new tab)
Garnet Studio
The desktop workbench. Build from source.
Page
The page could not load.
Open it directly →