Interactive long-session background agents plus persistent multi-agent team rooms for DeepSeek Harness: durable continuable child agents with progress, steering and interruption, and cross-session team rooms with a message bus, shared task board, approval

Composable mathematics tools for agents

A Linear MCP server for interacting with Linear's API

The memory + security kernel for AI agents. Strata: a signed append-only log, receipts on every write, exact-handle recall, memory agents can't rewrite. Operator Lite: a GuardFall-proof gate on 16 hosts.

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.