Beagle is an independent statically typed Lisp derived from Clojure.
Skill Claude CodeCodex
Use whenever writing, editing, or debugging Beagle source in any project: files with a current Beagle extension (beagle langs --view extensions), files beginning with #lang beagle, or anything under /code/beagle. Establishes proportional authoring-loop health, typed-Lisp semantic leverage, strict foreign boundaries…
Skill Claude CodeCodex
Detailed Beagle authoring commands, profile and syntax notes, loop diagnosis, and pinned Racket procedure. Load when beagle-authoring-distilled routes to this reference or when the user explicitly requests those details.
Skill Claude CodeCodex
Use for CODE AS A FACT GRAPH, two faculties. (1) EDITING a Beagle source file whose UPSTREAM is the fact GRAPH — one listed in the graph-upstream registry or whose leading comment block carries ;; @upstream:graph. Its text is a regenerable view of the Beagle Store fact graph: author by GRAPH EDIT via the mcpstore…
Skill Claude CodeCodex
Detailed graph-edit verbs, lossless projection commands, relational program reads, Datalog entry points, and scope limits for code-as-facts. Load when code-as-facts-distilled routes here or the user explicitly requests details.
Skill Claude CodeCodex
Model Beagle Store facts and their typed admission: design or review ontologies, vocabularies, canonical Triple propositions, Atom and resource identity, fact schemas, compiler/build/provenance/dependency facts, Store query models, and persisted semantic models. Use whenever semantic shape must be settled before…
Skill Claude CodeCodex
Detailed Fact Normal Form examples, identity cases, nesting consequences, typed admission internals, and the seven-question review gate. Load when fact-modeling-distilled routes here or the user explicitly requests details.
Skill Claude CodeCodex
Use when BUILDING a program, app, or tool on the Beagle Store engine after its semantic model is settled: write and query recursive Terms/Triples through Store RPC, and handle append-only occurrence history, immutable snapshots, paging, and Datalog derivation. NOT for designing or reviewing facts, relations…
Skill Claude CodeCodex
Detailed Beagle Store RPC commands, recursive Term and occurrence semantics, paging limits, query relations, generated-source authority, and executable examples. Load when store-modeling-distilled routes here or the user explicitly requests those details.