{"id":50417256,"url":"https://ercx.runtimeverification.com","last_synced_at":"2026-06-16T22:00:58.185Z","repository":null,"keywords":[],"created_at":"2026-05-31T07:00:18.988Z","updated_at":"2026-05-31T07:00:18.988Z","avatar_url":null,"language":null,"funding_links":[],"categories":["Roadmap"],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/ercx.runtimeverification.com","html_url":"https://awesome.ecosyste.ms/projects/ercx.runtimeverification.com","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/ercx.runtimeverification.com/lists"}