Knowledge graph for software engineering — design patterns, refactorings, and laws for AI agents
AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.
Matsés + Kusunda inspired epistemic metadata for AI agent systems. Every claim declares how it knows.
AXON compiler frontend — lexer, parser, AST, epistemic type system, type checker, IR generator. Zero runtime dependencies. v1.2.0 adds PRIMITIVE_REGISTRY — closed catalogue of every named language construct (45 entries) with PrimitiveInfo / DocStatus / CoverageSummary types + find / by_category / with_status / coverage_summary helpers. Single source of truth for downstream tooling (axon-emcp coverage gate, future LSP completions, docs-site generators). v1.1.0 introduced session-types + multiparty projection. v1.0.x earlier cycles — see https://github.com/Bemarking/axon-lang.
Epistemic Ledger & OCI Trust Anchor for CoReason URNs.
Epistemic Nearest Neighbor Bayesian Optimization
Context orchestration for AI development - captures and evolves patterns over time
axon-emcp — the official ℰMCP (Epistemic Model Context Protocol) server for AXON. A stdio JSON-RPC 2.0 MCP server that exposes the AXON language to AI coding agents (Claude Code, Codex, Cursor, …): every primitive's grammar + semantic constraints + idiomatic examples, plus live validation via the same `axon-frontend` lexer/parser/type-checker the `axon` CLI uses. Hydrated from a diff-reviewable markdown knowledge base under `src/knowledge/`.
Bayesian Linear Regression with Automatic Relevance Determination for interpretable, sparse modeling in embedded and WASM environments
Per-tool reliability beliefs (Beta distribution) + task-level uncertainty for LLM agents. Bayesian updates each turn drive Expected Free Energy scoring and epistemic escalation. Part of the Synthetic Consciousness Framework.
ecodex's empirica plugin host — codex hook integration that runs the epistemic Sentinel firewall, transaction lifecycle, and subagent routing.
Kinetic Plane execution engine for the CoReason Tripartite Cybernetic Manifold
Epistemic vigilance engine for brain-modeled agentic AI — source reliability, claim consistency, and belief coherence evaluation
Epistemic curiosity engine for LegionIO — tracks knowledge gaps, drives targeted exploration
Johnson and Raye reality monitoring for LegionIO — tracking where information came from to maintain epistemic integrity