SZLHOLDINGS/szl-artifacts
1.65 MB
AI & ML interests
None defined yet.
Recent Activity
spaces 19
pinned
Running
AGI Forecast Deep Dive
🚀
PAC-Bayes AI governance forecasting — FG-S1 to S4
pinned
Running
rosie Deep-Dive
🚀
Khipu receipt DAG — CSS-ingress, DSSE, Doctrine v6
pinned
Running
vsp-otel Deep Dive
🚀
OTel exporter for governance audit fibers — W3C
pinned
Running
Agents
Lean Proof Playground
🚀
Lean 4 proof explorer — 134 verified, 76 theorems
pinned
Running
SZL Anatomy — 7-Organ Substrate Map
🚀
SZL substrate — 7 organs, 7 invariants, 7 receipts
pinned
Running
szl-cookbook Deep-Dive
🚀
9 SKILL.md governance recipes — DSSE receipts, MCP pattern
datasets 26
SZLHOLDINGS/SZLHOLDINGS
Updated • 23
SZLHOLDINGS/uds-mesh-source
Updated
SZLHOLDINGS/rosie-source
Updated • 30
SZLHOLDINGS/amaru-source
Updated • 115
SZLHOLDINGS/sentra-source
Updated • 3
SZLHOLDINGS/a11oy-source
Updated
SZLHOLDINGS/vessels-source
Updated • 26
SZLHOLDINGS/szl-artifacts
Viewer • Updated • 52 • 4
SZLHOLDINGS/thesis-v18-formal-verification
Viewer • Updated • 9 • 38
SZLHOLDINGS/szl-charts
Viewer • Updated • 1