Gyaanmitra
For people who build software.
An editor, an agent that waits for approval, and a browser in the same window. The hard part is making proof as natural as writing.
See the productCareers
Build technology that adapts.
The team is small. The work is the products themselves: an IDE that writes software and then proves it, and a trip planner whose route starts where you are standing.
Gamaya
For people on a journey.
Plan the start, the stops, and the way back. The map shows the places. The route rebuilds from where the traveler is standing.
See the productNo open roles are listed yet.
If you want to work on either product, write to us. Say what you build, and which of the two you care about. A short note is enough.
Get in touch