an open stack for provable computing

one mind.still growing.

Every link has weight,
every computation leaves a proof,
the whole graph settles into one focus.

A shared knowledge graph that computes: claims are signed, results carry proofs, ranking falls out of the math. Agreement is convergence, not voting — it works even across light-minutes.

cargo install soft3

install · docs · github

early experimental build — interfaces, proofs and formats still shift week to week