{"avg":{"avg_bot_access":91.6,"avg_rendering":93,"avg_structure":35.4,"avg_schema":9.4,"avg_tech_stack":63.4,"avg_overall":56.8},"domain":{"domain":"theoremproving.org","crawled_at":"2026-03-21T16:07:25.636257Z","gptbot_allowed":true,"claudebot_allowed":true,"ccbot_allowed":true,"google_extended_allowed":true,"googlebot_allowed":true,"raw_text_length":20316,"rendered_text_length":23901,"ghost_ratio":0.15000000596046448,"rendering_type":"Hybrid","word_count":2586,"li_count":148,"tr_count":30,"th_count":14,"structure_score":7.420000076293945,"has_org_schema":false,"has_product_schema":false,"schema_count":1,"tech_stack":"express","server_header":"mw-web.codfw.main-64847965b5-bfxm9","cdn":"","http_status":200,"load_time_ms":1501,"total_html_bytes":147407,"useful_text_bytes":20316,"token_bloat_ratio":7.300000190734863,"images_total":11,"images_with_alt":7,"multimodal_pct":64,"tdm_reservation":false,"has_noai_tag":false,"script_bytes":9101,"has_breadcrumb_schema":false,"has_faq_schema":false,"has_article_schema":true,"has_website_schema":false,"page_title":"Proof assistant - Wikipedia","logo_url":"https://theoremproving.org/static/apple-touch/wikipedia.png","crawl_blocked":false,"ai_readiness_score":69,"sub_bot_access":100,"sub_rendering":94,"sub_structure":50,"sub_schema":2,"sub_tech_stack":55,"extractability_score":53,"crawl_cost_score":30,"crawl_cost_label":"Low","blocklist_risk":0,"blocklist_risk_label":"None","acri_score":56,"acri_extractability":72,"acri_semantic_structure":52,"acri_content_integrity":64,"acri_retrieval_robustness":35,"acri_grade":"C","h1_text":"Proof assistant","h2_texts":"Contents | Automated proof checking | History | System comparison | User interfaces | Formalization extent | Notable formalized proofs | See also | Notes | References","tranco_rank":307934,"category":"developer","title_length":27,"meta_desc_length":0,"has_canonical":true,"canonical_url":"https://en.wikipedia.org/wiki/Proof_assistant","canonical_mismatch":false,"has_meta_viewport":true,"h1_count":1,"h2_count":11,"h2_before_h1":true,"has_hreflang":false,"has_noindex":false,"has_lang_attr":true,"lang_attr":"en","og_title":"Proof assistant - Wikipedia","og_image":"https://upload.wikimedia.org/wikipedia/commons/0/0d/CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png","ttfb_ms":1501,"dom_node_count":1673,"html_payload_kb":144,"has_hsts":true,"has_csp":true,"cache_control":"private, s-maxage=0, max-age=0, must-revalidate, no-transform","sitemap_declared":false,"internal_links":247,"external_links":80,"tracker_scripts":0,"tracker_token_pct":0,"global_score":64,"seo_pillar":42,"geo_pillar":80,"perf_pillar":45,"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-14T17:11:40.482853Z","llm_model":"mlx-community/gemma-3-4b-it-qat-4bit","ai_unified_analysis":{"core_offering":"A proof assistant is a software tool that automatically checks mathematical proofs.","target_audience":"Mathematicians, researchers, students, and anyone involved in formal verification.","pricing_model":"SEMANTIC VOID","integration_partners":[],"compliance_standards":[],"competitive_moat":"Provides a system for comparing different proof assistants and formalization extents.","content_depth_score":1}},"percentile":64,"similar_domains":[{"domain":"trendmaker.hu","acri_score":80,"ai_readiness_score":87,"tech_stack":"express","category":"developer","token_bloat_ratio":4.900000095367432,"schema_count":2,"distance":4.820000028610229,"page_title":"Napszemüveg és karóra webáruház, divat outlet - Trendmaker.h","h1_text":""},{"domain":"maxaroma.com","acri_score":80,"ai_readiness_score":87,"tech_stack":"express","category":"developer","token_bloat_ratio":5.599999904632568,"schema_count":3,"distance":5.110000085830688,"page_title":"The Ultimate Online Perfume Store for Men, Women \u0026 Kids.","h1_text":""},{"domain":"bergfreunde.de","acri_score":80,"ai_readiness_score":87,"tech_stack":"express","category":"developer","token_bloat_ratio":3.799999952316284,"schema_count":2,"distance":5.150000071525573,"page_title":"Outdoor Shop für Bergsport, Klettern \u0026 Trekking | Bergfreunde","h1_text":""},{"domain":"berg-freunde.ch","acri_score":81,"ai_readiness_score":87,"tech_stack":"express","category":"developer","token_bloat_ratio":3.9000000953674316,"schema_count":2,"distance":5.270000028610229,"page_title":"Outdoor Shop für Bergsport, Klettern \u0026 Trekking | Bergfreunde","h1_text":""},{"domain":"berg-freunde.at","acri_score":81,"ai_readiness_score":87,"tech_stack":"express","category":"developer","token_bloat_ratio":3.799999952316284,"schema_count":2,"distance":5.300000071525574,"page_title":"Outdoor Shop für Bergsport, Klettern \u0026 Trekking | Bergfreunde","h1_text":""}]}