soft3
one mind, many languages, open world
the stack for a shared, provable, self-improving knowledge system. every web had one — web1 ran on LAMP, web2 on React + Node + Postgres, web3 on Solidity + EVM + RPC. soft3 is the next: every computation leaves a cryptographic proof, every piece of meaning carries a measurable weight, and the whole graph converges to one mind.
one mind
one form — one multilinear form over one field
one proof — the prover proves the prover
one focus — the graph settles into one φ*
many languages
write — cybermark
compute — the trident family
mean — neural
open world
it holds — one fabric, planet scale
it composes — add a cyberlink, not an API
it admits — no schema, no gatekeeper, no closed set
one mind — shared, provable, self-improving. many languages — write, compute, mean — that compose without translation. an open world: planet scale, no schema, no gatekeeper. inside, identity, state, data and proof are one polynomial over one field — one object seen from different sides, so composition is free: there is nothing to translate between. you touch it three ways — you write in cybermark, the system computes in the trident family, and it means in neural.
the foundations behind these three lines are the soft3 whitepaper. this repo is the developer experience layer on top — the SDKs, CLI, MCP server and wire schema that make a twenty-repo stack usable without learning all twenty repos.
the core
soft3 is the cyber component of the cybics WORK triad — and internally it unfolds the same seven-triad spiral that cybics uses for all knowledge. form defines the primitive rules. mass is what knowledge is literally made of. space is where it exists at scale. life is where it becomes intelligent. word is what it means. work is how it runs. play is where we act together. each group earns its place: remove any one and a class of reasoning becomes impossible.
form
| repo | verb | release | what it does |
|---|---|---|---|
| honeycrisp | accelerate | — | NEON/AMX/SME · Metal GPU · ANE · zero-copy unimem |
| strata | math | — | nebu 𝔽_p · genies 𝔽_q · jali R_q |
| hemera | hash | v0.2.0 | Poseidon2 sponge · identity · trees · verified streaming |
| lens | commit | — | 5 PCS backends, one per algebra |
mass
| repo | verb | release | what it does |
|---|---|---|---|
| cybergraph | link | — | jets · memos · types · knowledge |
| bbg | store | — | 1 polynomial · 10 dims · ~200B proofs |
| cell (cyb) | hold | — | local node · graph slice · signal chain · apply/prove loop |
| fs | mount | — | particles · patches · sync |
space
| repo | verb | release | what it does |
|---|---|---|---|
| mudra | encrypt | — | KEM · dCTIDH · AEAD · TFHE · threshold |
| radio | transmit | — | QUIC · BAO streaming · gossip |
| tape | frame | — | typed particle framing over any byte stream |
| sync | sync | — | chain · VDF · equivocation · DAS · erasure · CRDT |
life
| repo | verb | release | what it does |
|---|---|---|---|
| tru | converge | — | φ* · eigenvectors · cyberank |
| foculus | agree | — | collective focus theorem → finality |
| soma | think | — | four concurrent loops · tiered model stack |
word
| repo | verb | release | what it does |
|---|---|---|---|
| neural | mean | — | sigil → word → link → sentence → motif → dialect |
| rune | eval | — | Rs · hint · host · eval · async |
| inf | query | — | datalog · fixed-point over BBG |
work
| repo | verb | release | what it does |
|---|---|---|---|
| trident | compile | v0.1.0 | .tri → .nox |
| nox | run | — | 18 patterns + jets · unconditional proof |
| wysm | sandbox | — | WASM souls · gas-metered · cond/host |
| glia | infer | — | .model runtime · cond/model |
| wgpu | shade | ext | Metal/Vulkan/WebGPU shaders · cond/host |
| zheng | prove | — | SuperSpartan · Brakedown · sumcheck |
| eidos | certify | — | CIC type-checker · theorem → cyberlink |
play
| repo | verb | release | what it does |
|---|---|---|---|
| mir | render | — | positions + features → R-1.0 world |
| prysm | paint | — | tape dialect · chunks → UI |
| tok | pay | — | Coin · Card · conservation |
| ward | authorize | spec | effect router · emit/query/link/seal/host |
| cyb | embody | — | Bevy worlds · terminal · live cells |
stability
| repo | verb | release | what it does |
|---|---|---|---|
| conformance | snapshot | scaffold | hemera fingerprint per encoding · stability harness |
the four runtimes in work — nox · glia · wysm · wgpu — form a proof-contract ladder from unconditional down to conditional-on-host; the long-term arc lowers every soul toward nox through trident LIR. nu (vendored Nushell) and wgpu are external pieces outside the authored-verb table. the boundary analysis for the network tier lives in component-boundaries.
the SDK
| dir | what | status |
|---|---|---|
| js/ | JavaScript/TypeScript SDK (current Bostrom chain) | active |
| schema/ | canonical wire format definitions | draft |
| cli/ | soft3 command-line tool |
scaffold |
| mcp/ | MCP server — cybergraph tools for AI assistants | scaffold |
| py/ | Python SDK | scaffold |
every SDK exposes the same five operations regardless of language:
particle(content) → particle hemera hash of bytes
cyberlink(from, to, neuron) → signal construct + sign a cyberlink
query(particle, dimension) → value+proof BBG Lens opening
verify(root, proof) → bool proof verification
submit(signal) → receipt send signal to network
import { CyberClient } from '@cybercongress/cyber-js'
const client = await CyberClient.connect('https://rpc.bostrom.cybernode.ai')
const result = await client.rank.search('cyber')
dependencies not yet stabilised — full implementation is blocked on wire format finalisation (schema/), BBG proof serialisation (lens Commitment/Opening serde), and the query RPC protocol. the scaffold is in place; implementations land per component as deps stabilise.
see soft3/docs for the foundations whitepaper — the methods behind one mind, many languages, open world.