{"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"}