CONTACT

Talk to the team.

Tell us what you're building and what you'd like Midas to look at. Someone from the team will reply.

• Reviews on your pull requests, with fixes Midas can commit
• Engineer-led assessments of software and AI systems
• API access to Midas Prover, Formalizer and Knowledge

Prefer email? team@mi.inc