{"query":"averlang.dev","mode":"domain","best":{"domain":"averlang.dev","status":"valid","tier":"listed","authority":46,"verified":false,"title":"Aver","summary":"Aver is a statically typed language for a world where code is cheap to generate and expensive to trust. It is optimized for the person who reviews the code.","country":null,"country_source":"cdn","publisher_country":null,"publisher_country_source":null,"hosting_country":null,"llms_txt":"https://averlang.dev/llms.txt","llms_full_txt":"https://averlang.dev/llms-full.txt","last_checked":"2026-10-23T23:11:46.479Z","agent_terms":null,"categories":["developer-tools"],"capabilities":[],"inferred_tags":["statically typed language","programming language","code verification","llms-full.txt","code review"],"audience":"developers","agent_uses":["read_docs"],"language":"en","platform_generated":false,"agent_summary":"Aver: a statically typed programming language built for reviewing AI-generated code, with a playground and toolchain reference (run, verify, audit, format).","llms_txt_cached":"https://agentwebmap.com/v1/domain/averlang.dev/llms.txt","agentic":"documentation","section_keys":["before-you-write-aver","bindings","builtins-and-namespaces","common-mistakes-to-avoid","common-patterns","core-syntax","decision-blocks","effects","functions","further-reading","match","minimal-correct-file","modules","operators","oracle-verify-trace-effectful-functions","processes-answer-modules-and-the-coordinator","recursion","style","types","user-defined-types","verify-blocks"],"section_partial":false,"section_indexed_at":"2026-10-23T23:11:51.440Z","why":["authority 46 (listed)","checked 232 minutes ago","publishes llms-full.txt"]},"read":{"llms_txt":"https://averlang.dev/llms.txt","llms_full_txt":"https://averlang.dev/llms-full.txt","nested_llms_txt":[]},"terms":null,"health":{"ok":true,"status":"valid","tier":"listed","authority":46,"last_checked":"2026-10-23T23:11:46.479Z","checked_minutes_ago":231,"stale":false,"max_age_seconds":86400,"live_checked":false,"http_status":200,"last_valid":"2026-10-23T23:11:46.479Z","content_hash":"df1769798a0f2f3d8f213238c0e5809e","documentation_indexed_at":"2026-10-23T23:11:46.287Z"},"sources":[],"match":{"strength":"domain","reason":"Exact domain or its registered publisher."},"provenance":{"selection":"directory","reranked":false,"verification":"domain_ownership","terms":"unknown","excerpts":"publisher_link_metadata","health":"stored_crawl"},"alternatives":[]}