pinned
Running
AGI Forecast Deep Dive
π
PAC-Bayes AI governance forecasting β FG-S1 to S4
AI & ML interests
None defined yet.
Recent Activity
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
pinned
Running
Agents
SZL Holdings β Mega Showcase
π
One-place tour β thesis, theorems, a11oy, UDS, MCP. Live.
pinned
Running
amaru deep-dive
π
Memory + attestation, Cardano-anchored. Not a token.
pinned
Running
sentra β Deep-Dive Showcase
π‘
sentra β 6-gate Kitaev-surface AI security, DSSE receipts
Configuration error
Sentra Security Gates
π
Scan prompts for injection and jailbreak threats
Configuration error
Rosie Operator Console
π
Explore, verify, and monitor UDS mesh operations
Configuration error
Amaru Memory Attestation
π
Attest memory events and verify DSSE receipt chain
Configuration error
Vsp Otel Emitter
π
Emit a signed OTel span and view its ethical score
Configuration error
Agi Forecast Viewer
π
Explore AGI forecast gauges with interactive charts
Configuration error
A11oy Receipts Playground
π
Generate AI answer with audit receipt and safety gate checks
Configuration error
Szl Cookbook Runner
π
Run engineering skill recipes interactively
Configuration error
Lutar Lean Browser
π
Browse and view Leanβ―4 theorems from the SZL thesis
Running
MCP
MCP Governance Receipts Server
π
DSSE-signed governance receipts via MCP β live, mocked:false
Running
A11oy Deep-Dive
β‘
a11oy governed fabric β DSSE receipts, 9 packages, 248 tests