Agents and Orchestration

bob-engine

Core BOB orchestrator engine. Haskell + quantum monad + Watson linear attention + Mamba SSM + Prolog kernel.

haskellprologpython

GitHub →

bob-voyager

BOB exploration agent for autonomous codebase navigation and reasoning.

python

GitHub →

bob-ide

Development environment for BOB agent system. Lean 4 gate, Ada runtime, Prolog kernel integration.

adalean4prolog

GitHub →

bob-reasoning

Reasoning module for BOB with formal logic chains and verified inference.

pythonprolog

GitHub →

bert-agent

BERT-based agent with ERE P1-P5 verification gates for sovereign task execution.

python

GitHub →

burt-imma

BURT agent for sovereign immanent reasoning with formal proof integration.

pythonlean4

GitHub →

carry-agent

Carry-chain agent for multi-step task propagation with sealed execution receipts.

python

GitHub →

cartographer-agent

Codebase mapping agent building navigable knowledge graphs of repository structure.

python

GitHub →

sovereign-agent-kernel

6502 bare-metal multi-agent kernel. Forth runtime, SHA-512 hashing, orbital dynamics, 15 proof obligations.

6502 asmforth

GitHub →

sovereign-agi-kernel

AGI kernel with Idris 2 dependent types. Entropy bounds and WORM audit chain as types.

idris2lean4

GitHub →

sovereign-agt

C# governance stack with gRPC mesh, runtime, OS control, and SRE capabilities.

c#grpc

GitHub →

agentos

Operating system for sovereign agents with process isolation and verified execution.

python

GitHub →

agentscope-sift

Security Intelligence and Forensic Triage. Built with AgentScope framework.

python

GitHub →

automated-operator

Autonomous operator agent for infrastructure management and deployment orchestration.

python

GitHub →

holy-agents

Covenant-based agent pipeline with sealed execution contracts and WORM audit trail.

python

GitHub →

nekomata

Multi-agent coordination with forked execution paths and deterministic merging.

python

GitHub →

sovereign-mum

Google MUM formalized as deterministic MDP. KID-8B child safety kernel in 6502 SAT.

python6502 asm

GitHub →

llm-twin-arena

Head-to-head LLM evaluation arena with deterministic scoring and reproducible benchmarks.

python

GitHub →

twin-o-matic

Browser-based JIT LLM agent (Llama 3.2 1B via WebLLM) with live Three.js 3D tool use.

javascriptwebllm

GitHub →

sovereign-router

Deterministic request routing with formally verified dispatch tables.

python

GitHub →

Sovereign-Event-Bus

NATS-based event bus for sovereign agent coordination with verified message delivery.

gopython

GitHub →

sovereign-band

Resonance frequency layer with 5-pass ERE verification using entropic resonance evaluation.

python

GitHub →

🤖 Agents and Orchestration