{"owner":"Z3Prover","repo":"z3","hasSpec":false,"message":"No explicit OpenAPI, Swagger or GraphQL schema specification was located in Z3Prover/z3."}