Serverspec의 한계와 PanInfraSpec: 타입 안전한 인프라 검증 전략 | StartupSchool