Inspectable
Code, proofs and experiments you can inspect. Every project keeps its source under github.com/formalized-si.
Independent research into applications of super intelligence
- MathematicsThe book Symmetry, formalized in Narya
- ToolingAn MCP server for Narya
- VerificationRedstone circuits with machine-checked proofs
Principles
We build tools for machine reasoning. Then we check their answers.
Checked
A result counts once a machine accepts it.
Independent
Non-commercial work. We publish what we find, including counterexamples and bugs in the tools we use.