Getting started
TypeGlish documentation
TypeGlish compiles plain-English prompts into structured, testable programs — a real type system for English, a checker that proves contradictions before you ship, and tests that live beside the rules they guard.
Start here
$
Quickstart
Install the CLI, compile your first prompt, and fail your first build on purpose — in five minutes.
§The language
Statements, modality, types, control flow — how English becomes checkable clauses.
✓The checker
What typeglish check proves, the diagnostic codes, and how contradictions get caught with receipts.
CLI reference
Every command and flag — check, score, test, build — with the outputs you should expect.
Why a compiler for English
Raw prompts are sand: fast to build with, quick to crumble under weight. TypeGlish gives prompts load-bearing structure — the same prompt, graded and proven:
// before: vibes Be helpful and always try to resolve things quickly, but never promise anything specific. // after: a policy Agent SHOULD resolve in one reply. Agent NEVER commits TO a delivery date; INSTEAD shares a tracking link.
Same intent, one reading. The before version contains a contradiction the model resolves differently per conversation.
✓Already have a prompt in production?
npx typeglish check prompt.md reads plain English as-is — start from the notes it gives you.