The cognitive core, at your place.
Local intelligence, governed and provable. Your files remain the source of truth, and nothing leaves without a rule written in code.
Built and hosted in Neuchâtel
Everything lives on your hardware
Verifiable fingerprint, timestamped ledger
AI proposes, humans decide
Comoto OS, the core installed on your hardware.
Your files remain the source of truth; a fleet of governed agents does the work. The core links your documents, your tools and your history, and makes every action traceable back to its source.
Local-first
Everything lives on your hardware. Nothing leaves for a cloud without a rule written in code, and a signed trace.
A single writer
One runtime writes the durable state; the application only reads. Your edits elsewhere (Obsidian, vim) are re-indexed.
Systematic provenance
Every atom of memory is traceable back to its source. Trust is verified, not declared.
Sovereign anchoring
Encrypted backup in Switzerland (LAMS) and a verifiable on-chain fingerprint (ORIGYN SDK). Your heritage outlives the system.
One base, two trades that put it to work.
The Technology division builds the core; the Finance and Real Estate divisions test it on real files. Practitioners say what needs automating, and engineering makes it safe and reproducible.
The practitioners
Property managers, analysts and accountants describe the trade as it is done, and still practise it daily. The software starts from their practice, not from an idea of the trade.
Turning the trade into software
What repeats becomes a function: Palier automates rents, statements and handover reports; Atlas prepares the analysis and documents the decision. The time given back is the time that counts.
The same base
Both products rest on the same core. What engineering improves once benefits both; no client data travels from one to the other, each installation stays closed.
Making intelligence efficient where compute is constrained.
Runtimes, models and harnesses co-designed for the Internet Computer, under strict instruction budgets. Everything is published, everything reproduces: the programme is open to researchers and builders.
Runtime
SIMD, quantization, ternary models: fewer instructions per useful operation.
Models
Small specialised models, evaluated under the real constraints of ICP.
Harnesses
Orchestration, memory, tools and verification under strict budgets.
Proof
An explicit budget, an execution receipt and a traceable memory path per action.
Two directions. One base.
Deploying the core at your place, or contributing to the research: let's talk about yours.
