Searching protocol for "cider"
CIDER integration for Clojure development with nREPL.
SLIME integration for CL development.
Semantic embeddings to navigate Clojure code.
Generate topos and logic with forcing.