an open stack for provable computing β€” ten products, one ladder

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