Add BOB reasoning engine: Metatron, APL, Lean4, Rust, universal-corpus, knowledge-chunks

dfd38de

verified

SNAPKITTYWEST commited on 4 days ago