f00 /metis

v4.5.0 · 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

# curl | bash (recommended)
curl -fsSL https://metis.f00.sh/install.sh | bash

# Homebrew (f00-sh tap)
brew install f00-sh/tap/metis

# AUR-style (org-keyed PKGBUILD)
# packaging/aur or github.com/f00-sh/aur-metis

# from source
git clone https://github.com/f00-sh/metis.git && cd metis
./bin/metis version && ./bin/metis

SBCL + Quicklisp · man metis · docs/install.md

Docs