{"avg":{"avg_bot_access":91.6,"avg_rendering":93,"avg_structure":35.3,"avg_schema":9.4,"avg_tech_stack":63.4,"avg_overall":56.8},"domain":{"domain":"lean-lang.org","crawled_at":"2026-03-16T23:42:48.507132Z","gptbot_allowed":true,"claudebot_allowed":true,"ccbot_allowed":true,"google_extended_allowed":true,"googlebot_allowed":true,"raw_text_length":14814,"rendered_text_length":17428,"ghost_ratio":0.15000000596046448,"rendering_type":"Hybrid","word_count":1288,"li_count":47,"tr_count":0,"th_count":0,"structure_score":3.6500000953674316,"has_org_schema":false,"has_product_schema":false,"schema_count":0,"tech_stack":"express","server_header":"Netlify","cdn":"netlify","http_status":200,"load_time_ms":538,"total_html_bytes":181612,"useful_text_bytes":14814,"token_bloat_ratio":12.300000190734863,"images_total":13,"images_with_alt":13,"multimodal_pct":100,"tdm_reservation":false,"has_noai_tag":false,"script_bytes":22268,"has_breadcrumb_schema":false,"has_faq_schema":false,"has_article_schema":false,"has_website_schema":false,"page_title":"Lean Programming Language","meta_description":"Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.","logo_url":"https://lean-lang.org/static/favicon-light.ico","crawl_blocked":false,"ai_readiness_score":66,"sub_bot_access":100,"sub_rendering":94,"sub_structure":35,"sub_schema":0,"sub_tech_stack":55,"extractability_score":42,"crawl_cost_score":30,"crawl_cost_label":"Low","blocklist_risk":0,"blocklist_risk_label":"None","acri_score":47,"acri_extractability":75,"acri_semantic_structure":40,"acri_content_integrity":57,"acri_retrieval_robustness":20,"acri_grade":"D","h1_text":"Lean in Action","h2_texts":"Cedar | Mathlib | Aeneas | Fermat's Last Theorem | Terence Tao | Byron Cook | Pushmeet Kohli | Tudor Achim | Emina Torlak","tranco_rank":475065,"category":"infrastructure","title_length":25,"meta_desc_length":127,"has_canonical":false,"canonical_mismatch":false,"has_meta_viewport":true,"h1_count":3,"h2_count":9,"h2_before_h1":false,"has_hreflang":false,"has_noindex":false,"has_lang_attr":true,"lang_attr":"en","og_title":"Lean Programming Language","og_image":"https://lean-lang.org/static/png/banner.png","twitter_card":"summary_large_image","ttfb_ms":538,"dom_node_count":1248,"html_payload_kb":177.4,"has_hsts":true,"has_csp":false,"cache_control":"public,max-age=0,must-revalidate","sitemap_declared":false,"internal_links":49,"external_links":17,"tracker_scripts":0,"tracker_token_pct":0,"global_score":62,"seo_pillar":45,"geo_pillar":67,"perf_pillar":59,"arch_pillar":80,"data_tier":1,"ai_trust_score":0,"ai_trust_rank":0,"ai_trust_percentile":0,"inbound_ai_links":0,"outbound_ai_links":0,"llm_analyzed":true,"llm_analyzed_at":"2026-03-22T17:20:17.972305Z","llm_model":"mlx-community/gemma-3-4b-it-qat-4bit","ai_unified_analysis":{"core_offering":"Lean Programming Language is an open-source programming language and proof assistant for creating correct, maintainable, and formally verified code, enabling theorem proving and software/hardware verification.","target_audience":"Mathematicians, software engineers, researchers, and developers involved in formal verification, AI, and large-scale software engineering.","pricing_model":"Open-source and free to use.","integration_partners":[],"compliance_standards":[],"competitive_moat":"AI-powered sprint planning with real-time resource optimization and a minimal trusted kernel guaranteeing absolute correctness in mathematical proof, software and hardware verification.","content_depth_score":8,"programmatic_seo_signals":["integration directory pages","template comparison pages"],"key_pain_points":["No structured FAQ schema","Thin landing pages for features"]}},"percentile":57,"similar_domains":[{"domain":"tarmacsportz.co.uk","acri_score":72,"ai_readiness_score":80,"tech_stack":"express","category":"infrastructure","token_bloat_ratio":4.300000190734863,"schema_count":0,"distance":6.15,"page_title":"Aftermarket Car Parts - Aftermarket Performance Parts For Cars | Tarmacsportz.co.uk","h1_text":""},{"domain":"bilezikci.com","acri_score":72,"ai_readiness_score":78,"tech_stack":"express","category":"infrastructure","token_bloat_ratio":2.5999999046325684,"schema_count":0,"distance":6.6600000858306885,"page_title":"Bilezikci.com  Altın - Mücevher - Takı","h1_text":""},{"domain":"totallytomato.com","acri_score":72,"ai_readiness_score":85,"tech_stack":"express","category":"infrastructure","token_bloat_ratio":2.5,"schema_count":1,"distance":7.190000057220459,"page_title":"Totally Tomatoes: Tomatoes, Peppers, Vegetables \u0026 More","h1_text":""},{"domain":"maybelline.co.th","acri_score":72,"ai_readiness_score":87,"tech_stack":"express","category":"infrastructure","token_bloat_ratio":3.700000047683716,"schema_count":2,"distance":7.330000042915344,"page_title":"เมคอัพเมย์เบลลีน แหล่งรวมความงามอันดับ 1 ของโลก Maybelline","h1_text":"เครื่องสำอาง"},{"domain":"citycruises.com","acri_score":72,"ai_readiness_score":87,"tech_stack":"wordpress","category":"infrastructure","token_bloat_ratio":14.100000381469727,"schema_count":1,"distance":12.790000057220459,"page_title":"City Cruises - Sightseeing, Dining, Boat Tours \u0026 More","h1_text":"City Cruises"}]}