{"query":"veralang.dev","mode":"domain","best":{"domain":"veralang.dev","status":"valid","tier":"listed","authority":45,"verified":false,"title":"Vera","summary":"Vera is a statically typed, purely functional programming language designed for large language models to write. It uses typed slot references (`@T.n`) instead of variable names, requires contracts (preconditions, postconditions, effect declarations) on every function, and compiles to WebAssembly. Programs run at the command line via wasmtime or in the browser.","country":"US","country_source":"ip","publisher_country":null,"publisher_country_source":null,"hosting_country":"US","llms_txt":"https://veralang.dev/llms.txt","llms_full_txt":"https://veralang.dev/llms-full.txt","last_checked":"2026-10-27T10:04:56.201Z","agent_terms":null,"categories":["ai-ml","developer-tools"],"capabilities":[],"inferred_tags":["programming language","webassembly","llm code generation","typed contracts","functional programming"],"audience":"developers","agent_uses":["read_docs"],"language":"en","platform_generated":false,"agent_summary":"Vera: statically typed, purely functional language designed for LLMs to write, with slot references and contracts, compiling to WebAssembly. Includes language r","llms_txt_cached":"https://agentwebmap.com/v1/domain/veralang.dev/llms.txt","agentic":"documentation","section_keys":["compiler-and-tooling","examples","homepage","language-reference","optional","quick-start","specification"],"section_partial":false,"section_indexed_at":"2026-10-27T10:05:06.172Z","why":["authority 45 (listed)","checked 583 minutes ago","publishes llms-full.txt"]},"read":{"llms_txt":"https://veralang.dev/llms.txt","llms_full_txt":"https://veralang.dev/llms-full.txt","nested_llms_txt":[]},"terms":null,"health":{"ok":true,"status":"valid","tier":"listed","authority":45,"last_checked":"2026-10-27T10:04:56.201Z","checked_minutes_ago":582,"stale":false,"max_age_seconds":86400,"live_checked":false,"http_status":200,"last_valid":"2026-10-27T10:04:56.201Z","content_hash":"a501e451099c7a5de57dd2da9a7fe467","documentation_indexed_at":"2026-10-27T10:04:55.535Z"},"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":[]}