Mickai Subsystem
Mickai Skillsmith™
Mickai Skillsmith is the subsystem of the Mickai SIOS for authoring skills the runtime can use safely. Skill DSL, per-skill clearance gates, signed tool invocation envelopes, signed skill marketplace bundles, revocation support. Mickai is downloadable at mickai.co.uk/download and runs on Windows, Linux, or macOS.
View capabilitiesThe Mickai SIOS
Mickai is a Sovereign Intelligence Operating System (SIOS). It runs entirely on your own hardware, on Windows, Linux, or macOS. No cloud, no telemetry. This page describes one subsystem of the Mickai SIOS. Download Mickai at mickai.co.uk/download.
A subsystem of the Mickai SIOS. Build, sign, and deploy custom skills the SIOS can use safely. Every skill call lands as a signed envelope in the audit chain.
Build, sign, deploy custom skills the SIOS can use safely.
What Skillsmith authors
Seven primitives that make custom skills safe to deploy. Typed DSL, clearance gates, signed envelopes, marketplace bundles, revocation, hardware-bound sandbox, signed local catalogue.
01 / DSL
Skill DSL
Declare a skill with typed inputs, typed outputs, side-effect classification, and a clearance ceiling. The DSL compiles to a signed bundle that the runtime can load and revoke. No ad-hoc shell glue, no untyped tool wiring.
02 / Clearance
Per-skill clearance gates
Each skill declares the clearance level required to invoke it. Read-only retrieval is level one. Filesystem write is level three. Outbound network is level four. Privileged tools require a fresh voice utterance from Vinis before the gate opens.
03 / Envelope
Signed tool invocation envelope
Every skill call carries an envelope with the skill identifier, the input hash, the operator key, the timestamp, the clearance decision. The envelope is appended to the audit chain, so a regulator can replay every tool the agent used.
04 / Marketplace
Signed skill marketplace bundles
Skills can be distributed as signed bundles. The publisher key signs the bundle, the operator verifies the signature on import. Revocation lists are signed by the publisher and consumed offline.
05 / Revocation
Revocation support
When a skill is revoked, the runtime stops loading new instances and surfaces the revocation in the audit chain. Existing in-flight invocations are tombstoned. A revoked skill cannot be silently re-introduced; the policy bundle records the revocation.
06 / Sandbox
Hardware-bound sandbox
Skills execute inside a hardware-bound sandbox: filesystem reads via a mediated path layer, shell calls via a signed shell broker, network reads via the egress firewall. Compromise of any single skill cannot escalate.
07 / Catalogue
Signed skill catalogue
The local catalogue lists every loaded skill, its version, its publisher, its clearance ceiling, and its revocation status. The list is signed so a regulator can prove which skills were available on which day.
Patent anchors
Skillsmith sits on three of the 31 filed UK patent applications behind the Mickai SIOS. Patent 20 anchors per-skill clearance, patent 12 the typed action ontology, patent 40 hardware-attested skill mutation.
- 20Per-Skill Clearance-Gated Execution, the clearance primitive Skillsmith implements.
- 12Typed-Action Ontology, the DSL's typed inputs and outputs.
- 40Hardware-Attested Skill Mutation, signed skill bundles, attested at load.
GB2607309.8 to GB2610422.4 · 31 filed UK patent applications · 914 claims
Wired with
- Skill DSL with typed inputs, outputs, and side-effect classification
- Five-level clearance gates with fresh-utterance authority
- Signed tool invocation envelopes via the OAR substrate
- Signed skill marketplace bundles with publisher keys
- Offline-consumable revocation lists
- Hardware-bound sandbox with mediated filesystem and shell broker
- Signed local skill catalogue
- 100 percent on-device, no third-party skill registry
Custom skills the SIOS can trust.
Skillsmith compiles a typed DSL into signed bundles with clearance ceilings. Read the per-skill clearance patent, or download Mickai and ship your first signed skill.
Engineered by Micky Irons in Cumbria, United Kingdom · @mickyirons