{"data":{"full_name":"tambercore/mud","name":"mud","description":"📦 Natural Language Theorem Prover built on Dependent Type Theory (Agda) and Symbolic NLP (Lambeq), awarded Best Group Dissertation at University of Nottingham.","stars":7.0,"forks":0.0,"language":"Rust","license":"GPL-3.0","archived":0.0,"subcategory":"semantic-parsing-logic","last_pushed_at":"2025-05-14T21:44:50+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":2.0,"adoption_score":4.0,"maturity_score":9.0,"community_score":0.0,"quality_score":15.0,"quality_tier":"experimental","risk_flags":"['stale_6m', 'no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-06T20:37:51.571078+00:00"}}