{"@context":"https://schema.org","@type":"SoftwareApplication","@id":"https://nerq.ai/dimensions/agda.json","schema_version":"L4-dimensions/v1","slug":"agda","registry":"homebrew","name":"agda","last_updated_at":"2026-03-20T10:45:04Z","dimensions":{"registry_specific":{},"registry_specific_keys":[],"registry_specific_available":false,"universal":{"security":90.0,"maintenance":50.0,"popularity":15.0,"community":35.0,"quality":65.0,"privacy":null,"transparency":null,"reliability":null},"regulatory":{},"trust_score":55.5,"trust_grade":"C"},"registry_url":"https://formulae.brew.sh/formula/agda","homepage_url":"https://wiki.portal.chalmers.se/agda/","repository_url":"","sameAs":[],"data_source":"nerq.software_registry","llms_txt":"https://nerq.ai/llms.txt"}