SZL UDS — everything in the mesh
🧬
UDS mesh: 7 organs, 11 MCP tools, Lean 749/14/163
Stephen Paul Lutar JR PRO
betterwithage
·
AI & ML interests
None yet
Recent Activity
updated a Space about 3 hours ago
SZLHOLDINGS/uds-demo published a Space about 3 hours ago
SZLHOLDINGS/uds-demo updated a Space about 18 hours ago
SZLHOLDINGS/vessels-appOrganizations
updated a
Space about 3 hours ago
published a
Space about 3 hours ago
updated 12
Spaces about 18 hours ago
Vessels App
⚓
Maritime intelligence app · stub data layer
amaru Platform — Memory Attestation
🔬
Static platform doc: amaru memory organ
lutar-lean-browser — Lean 4 Theorem Browser
🔬
1
Browse 752 Lean 4 declarations and 15 axioms
MCP Receipts Server — Governance Tool API
♾
10 governance tools: DSSE receipts, Lean theorems
Stephen P. Lutar Jr.
🧬
szl holdings founder/ceo · verifiable agentic ai · orcid
SZL Holdings — 5 governed AI apps
♾
SZL Holdings · 5 governed AI apps + diligence artifacts
rosie Platform — Receipt Orchestration
🔄
Static platform doc: rosie DAG orchestrator
SZL Holdings · VESSELS
⚓
Monitor simulated vessel fleet and compliance alerts with audit trails
sentra Platform — AI Security Deep Dive
♾
Static platform doc: sentra 8-gate scanner
Amaru
🐍
Generate answers with source citations
a11oy Platform — Governed Execution Fabric
🔬
Static platform doc: a11oy v19 architecture
SZL Holdings
🦸
Production governance fabric · Verifiable agentic execution
published 2
Spaces 1 day ago
updated a
dataset 1 day ago
published a
dataset 1 day ago
liked a
Space 1 day ago
published a
Space 1 day ago