f00 /metis

v4.4.1 · MIT · metis.f00.sh

Metis

An empty Common Lisp cognitive runtime. Intelligence arrives as sealed symbols you load and unload — dual-facet math and language, single-facet knowledge domains. Not a frozen 90B kitchen sink.

Symbols

Authors train a source kit, seal it (opaque body + hash + signature), publish free. Sideloads are always marked unvetted. Process surfaces (math, language use) are dual-facet; history and fringe packs stay knowledge unless they ship a real procedure.

./bin/metis symbol train knowledge/source-kits/calculus
./bin/metis symbol build knowledge/source-kits/calculus
./bin/metis symbol load knowledge/sealed/calculus

Dual-facet law

Math — Knowledge (explain) + Process (compute). Unload removes both.

Language — Use (speak/read in the language) + About (metalanguage). Slang packs are dual-facet registers.

Domains — Knowledge by default.

Install

git clone https://github.com/f00-sh/metis.git
cd metis
./bin/metis          # TUI
./bin/metis test

SBCL + Quicklisp · Ctrl+T symbols pane · docs in repo

Docs