{"package":"autoformalism-with-llms","ecosystem":"pypi","exists":true,"latest_version":"0.0.1","repository":"https://github.com/unknown/autoformalism-with-llms","license":"","description":"","downloads_weekly":13,"deprecated":false,"health":{"score":31},"_cache":"db_only_bot","_partial":true,"_response_ms":1,"_powered_by":"depscope.dev — bot fast path (DB-only)","recommendation":{"action":"avoid"}}