Simantic Bot, from a Fall 2026 Y Combinator startup, builds the firmware in a GitHub pull request, runs it on a simulated microcontroller, and posts a review whose every runtime claim comes from those runs; its homepage example flags a +15 that should be +16.