Autonomous Infrastructure Runtime (AIR) & Trust Runtime gateway. Enforcing policy gates, CircuitBreaker controls, and evidence-driven cryptographic verification for Ubuntu Pools.

Runtime authorization & audit layer for physical AI — T0–T3 tiers, capability tokens, Ed25519, ROS2/MCP/MAVLink bridges, OWASP ASI coverage

Hermes-native lifecycle and evidence ledger for AI-assisted software work.

Local Codex control plane for unattended repo upkeep, bug repair, self-auditing, and evidence-backed automation.

Your agent history is scattered. MiseLedger makes it searchable evidence. Local SQLite FTS ledger for AI work history; Brigade-ready evidence bundles. No network.

Give AI agents hands without handing them the keys: exact one-use approvals and verifiable receipts for registered actions.

Constitutional Evidence Operating System for evidence-first governance intelligence, policy gates, and provenance.

AI-native, evidence-governed research on the overseas world-model landscape

Governed cognition substrate for AI engineering agents: mission envelopes, evidence-bound belief/plan graphs, quarantined memory, model-role review, sentinel checks, and BlackFox handoffs under human authority.

Local-first academic claim ledger that turns draft claims and evidence notes into source-review actions

AgentMesh: normalize heterogeneous agent-operation events into an accountable, priced, hash-chained evidence mesh.

Operator surface for Camunda process governance, approval evidence, timer drift, and review-safe execution routing.

Evidence ledger for AI tool pricing screenshots, free-plan limits, source dates, claim status, and comparison updates.

Time-Box Automation Enforcer: chop open-ended automation runs into fixed slots with re-authorization gates and a hash-chained authorization ledger.

Continuity-of-Order theorem-candidate research program testing whether ordered path histories reveal transition signals missed by static or aggregate summaries.

Insurance claims operator surface for missing evidence packets, denial pressure, and appeal-safe routing.

Skyflow vault bridge for Klaviyo profile exports. Reads an AI Procurement Decision Card v0.2 and tokenizes authorized PII before it leaves the operator's machine; reveal gated by caller role.

Evidence-bound audits for observable Codex repository instructions

Ledger for short-video hook captions, first-frame claims, fatigue signals, changed variables, and next-test evidence.

Nonprofit operator surface for grant evidence, reporting posture, and deliverable readiness.