hello! Came across WireMock via the panel coming up soon with Antithesis. My work is around applying verification (the formal kind) as a layer of correctness in agentic mainstream engineering workflows. One thing we cannot do is verify API behavior so this intrigued me. Happy to be here to learn and connect.

Hi fernanda, great to meet you! I’d love to hear more about this, as I don’t have a background in formal methods. I think it’s fair to say that formal verification is not the goal for either us or Antithesis, but this is an active area of exploration for us, so I’m curious as to where the theoretical limits exist. Would be great to chat sometime if you’ve got the capacity to do so?

Hi Tom, great to meet you as well! I'd love to chat sometime. Can you please shoot me an email at fernanda@midspiral.com and I can send over a calendar?