Achuk v0.1.0

Achuk v0.1.0 — code that can't be wrong

Achuk (अचूक — Marathi for infallible) is an AI-first programming
language where generated code can't be fake. One install brings the
compiler, editor tooling, an MCP server, a fine-tuned model, and its
inference engine — no API keys, no cloud, runs CPU-only.

curl -fsSL https://achuk.dev/install.sh | sh
achuk ai gen "define atleast10 : Nat -> Nat that computes Nat.max of x and 10"
# ── verified ── real compiler: OK

The model's output is grammar-constrained to your project's real symbols
and typechecked by the actual compiler before you see it. When the model
is wrong, you get REJECTED + the compiler error — never a silent bug.

Execution-graded, reproducible from bench/: the bundled fine-tune writes
94% functionally-correct Achuk where the same model writes 56% Python and
7% Go; reference gate 121/121 hallucination-free.

Platforms: macOS arm64, Linux x64 (static; achuk run needs binutils),
Windows x64 (cross-compiled, untested on real Windows — reports welcome).
Docs: https://achuk.dev/docs.html · Playground: https://achuk.dev/playground.html