mutable-state-inc

Collaborative theorem proving orchestrator. Uses lc CLI for state, spawns parallel agents.

Mathlib reference for lean-prover agents. Use AFTER MATH CARD analysis.

Complete reference for the Apple Neural Engine private API via Rust bindings.

Optimize DistilBERT inference latency on ANE. Beat CoreML.

Augmented cognition layer that makes users smarter by connecting conversations to their persistent knowledge tree. Use proactively when topics arise that might have prior knowledge, and when users ask to remember, recall, search, or organize. Triggers on…

Augmented cognition layer that makes users smarter by connecting conversations to their persistent knowledge tree. Use proactively when topics arise that might have prior knowledge, and when users ask to remember, recall, search, or organize. Triggers on…