SkySynth is a system for building specialized just-in-time systems using coding agents with co-evolving specifications and formal verification to ensure trustworthiness. It synthesizes key-value stores up to 2.3× faster than Redis, inference engines with 2.2× higher throughput, and model routers with 48% lower costs while addressing the challenge of reward hacking through machine-checked proofs and evolving tests.