Bob-Orchestrator
Multi-agent coordination with WORM sealing
ACTIVE
View โ
sovereign-35 / FRANKENSTEIN
35B parameter sovereign model
DEPLOYED
View โ
S-AUTOCODE
SUBLEQ emulator with self-modifying code detection
ACTIVE
View โ
AXIOM Proof Assistant
Fortran type theory kernel + Rust checker
BUILDING
View โ
PLASMA-MAMBA
State space model with plasma gate
RESEARCH
View โ
SnapKitty Red Book
Constitutional documentation
ACTIVE
View โ
AgentScope SIFT
Multi-agent simulation framework
ACTIVE
View โ
Cartographer Agent
Legal / governance mapping
ACTIVE
View โ