Founder of LANGA Corporation — offices in Milan, Alba, Brescia and Cuneo, Italy. Origins in 2009, first company in 2015.
We run digital services across our networks, in production, on our own infrastructure.
Anyone can call a model. What is hard is running a hundred agents against a real estate of services and still knowing, a month later, who decided what, on what evidence, and what it cost.
AEGIS is the layer that makes that possible: shared memory, explicit permissions per role, every decision and every doubt written down at the moment it happens. Talos coordinates — it routes work to the right agent and runs the part that needs no person in front of it.
People decide. The agents carry the work.
Each one came out of a defect we measured on our own estate, and each carries the self-test that found it.
| Name | What is it? |
|---|---|
| kemproof | attest an ML-KEM-768 key exchange — and say only what that proves |
| leakform | find secrets in a git repository by shape, across every ref |
| realroute | check a route exists by content, not by status code |
| samecheck | measure whether copies that should be identical still are |
| provenreal | compare what a system claims with what can be measured |
| countdrift | find numbers written by hand that no longer match their source |
We open how we work, never what we sell.
The code we publish was written by people, and they are named where the work is
theirs: Me, LANGA Technician team, Nabil Kerkacha, Anderson Silva, Chandra Prakash,
Aditya Singh. See the CONTRIBUTORS.md in each repository.
langacorp · langa.tv · how we work · the agents at work · lucaprata.com · @lucapratadotcom