{"data":{"full_name":"edlontech/einsof","name":"einsof","description":"A Formaly Verified agents security","stars":0.0,"forks":0.0,"language":"Rocq Prover","license":null,"archived":0.0,"subcategory":"agent-governance-frameworks","last_pushed_at":"2026-03-13T14:29:15+00:00","pypi_package":null,"npm_package":null,"downloads_monthly":0.0,"dependency_count":0.0,"commits_30d":null,"reverse_dep_count":0.0,"maintenance_score":13.0,"adoption_score":0.0,"maturity_score":1.0,"community_score":0.0,"quality_score":14.0,"quality_tier":"experimental","risk_flags":"['no_license', 'no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-08T11:56:15.732782+00:00"}}