Speck – AI spec-driven agents, inspired by compilers and build tools