lint model registry

Trained language models for the AI linter, so a machine pulls what it needs instead of re-reading the documentation itself.

80language modules
3machine-global artifacts

Training version docs-v116-canon-principles-only-agnostic-proven-and-code-languages-only.

How it is used

A machine reads index.json, checks its Ed25519 signature in index.sig against a trusted key, then fetches only the entries it needs and verifies each file's SHA-256 before loading it. Anything failing verification is refused and the machine reads the documentation itself instead — so a bad or unreachable registry can slow a machine down, but never teach it something false.

Machine-global artifacts

artifactrevisionfile
char.global.binrev 14brain/char.global.bin
char.global.fprev 14brain/char.global.fp
english.global.binrev 14brain/english.global.bin

The character brain is the substrate every language module is read through. It is built from a system dictionary, which is why it is served here: a machine without one has no meaning network at all, and no way to build it.

Language modules

languagetoolchainfile
adaanyada@any.module.bin
asmanyasm@any.module.bin
awkanyawk@any.module.bin
bash5.3.15bash@5.3.15.module.bin
canyc@any.module.bin
cjsanycjs@any.module.bin
clojureanyclojure@any.module.bin
cmake3.28.1cmake@3.28.1.module.bin
cobolanycobol@any.module.bin
coffeescriptanycoffeescript@any.module.bin
cpp17.0.0cpp@17.0.0.module.bin
crystalanycrystal@any.module.bin
csharpanycsharp@any.module.bin
cssanycss@any.module.bin
cueanycue@any.module.bin
danyd@any.module.bin
dhallanydhall@any.module.bin
dockerfileanydockerfile@any.module.bin
elispanyelisp@any.module.bin
elixiranyelixir@any.module.bin
elmanyelm@any.module.bin
envanyenv@any.module.bin
erlanganyerlang@any.module.bin
fishanyfish@any.module.bin
fortrananyfortran@any.module.bin
fsharpanyfsharp@any.module.bin
gleamanygleam@any.module.bin
go1.26.1go@1.26.1.module.bin
graphqlanygraphql@any.module.bin
groovyanygroovy@any.module.bin
hareanyhare@any.module.bin
haskellanyhaskell@any.module.bin
haxeanyhaxe@any.module.bin
htmlanyhtml@any.module.bin
janetanyjanet@any.module.bin
java21.0.8java@21.0.8.module.bin
javascript23.9.0javascript@23.9.0.module.bin
jsonanyjson@any.module.bin
jsonnetanyjsonnet@any.module.bin
juliaanyjulia@any.module.bin
kotlinanykotlin@any.module.bin
latexanylatex@any.module.bin
lockanylock@any.module.bin
luaanylua@any.module.bin
makefileanymakefile@any.module.bin
markdownanymarkdown@any.module.bin
nimanynim@any.module.bin
nixanynix@any.module.bin
objectivecanyobjectivec@any.module.bin
ocamlanyocaml@any.module.bin
odinanyodin@any.module.bin
pascalanypascal@any.module.bin
perl5.34.1perl@5.34.1.module.bin
php8.4.8php@8.4.8.module.bin
powershellanypowershell@any.module.bin
protoanyproto@any.module.bin
purescriptanypurescript@any.module.bin
python3.12.3python@3.12.3.module.bin
ranyr@any.module.bin
racketanyracket@any.module.bin
rakuanyraku@any.module.bin
rescriptanyrescript@any.module.bin
ruby4.0.5ruby@4.0.5.module.bin
rust1.95.0rust@1.95.0.module.bin
scalaanyscala@any.module.bin
scssanyscss@any.module.bin
solidityanysolidity@any.module.bin
sqlanysql@any.module.bin
svelteanysvelte@any.module.bin
svganysvg@any.module.bin
swift6.1.2swift@6.1.2.module.bin
tclanytcl@any.module.bin
terraformanyterraform@any.module.bin
tomlanytoml@any.module.bin
typescript23.9.0typescript@23.9.0.module.bin
vueanyvue@any.module.bin
xmlanyxml@any.module.bin
yamlanyyaml@any.module.bin
ziganyzig@any.module.bin
zsh5.9zsh@5.9.module.bin