Making software safer
in the AI era.
Lorena Labs is a software and research lab working on expert systems, programming with checked proofs and making Rust CI faster and more efficient.
See our projectsAbout
We use logic and formal methods where they can make software easier to check. Our projects apply that work to development tools, automated decisions and programming languages.
Projects
SorusFast, efficient CI for RustRun Cargo builds and tests in the cloud from your terminal, existing CI or coding agent. Keep your Cargo workflow, follow logs and retrieve build artifacts.TarskiSuper-human expert systemsTurn expert knowledge into rules that run. AI reads the input and proposes actions; your rules decide what happens, with each decision traced back to its evidence.Lema LangBuild software like mathematicsA language project in development where humans state contracts and coding agents write implementations and proofs. A Lean kernel checks that each proof establishes the contract.
Contact
Get in touch
Have a question about one of our projects, or want to work with us? Send us a message.