Show HN: Kastor – Terraform-style specs for AI agents