{"query":"lambdaclass.com","mode":"domain","best":{"domain":"lambdaclass.com","status":"valid","tier":"listed","authority":51,"verified":false,"title":"Lambda (LambdaClass)","summary":"We build software that is fast and provably correct. 100+ engineers specializing in formal verification, cryptography, distributed systems, and high-performance software. Founded by Federico Carrone. Part of Ergodic Group. Teams in Buenos Aires, Montevideo, and Barcelona. Since 2014.","country":"US","country_source":"ip","llms_txt":"https://lambdaclass.com/llms.txt","llms_full_txt":"https://lambdaclass.com/llms-full.txt","last_checked":"2026-10-21T09:02:02.130Z","agent_terms":null,"categories":["science-research","cybersecurity"],"capabilities":[],"inferred_tags":["formal verification","lean 4","zero knowledge proofs","ethereum client","distributed systems"],"audience":"business","agent_uses":["read_docs","search_content"],"language":"en","platform_generated":false,"agent_summary":"Engineering firm building fast, formally verified software in cryptography, zk systems, Lean 4 and Ethereum; blog covers verification, security disclosures and ","llms_txt_cached":"https://agentwebmap.com/v1/domain/lambdaclass.com/llms.txt","agentic":"documentation","section_keys":["blog","canonical-urls","contact","engagement-model","links","our-stack","patronage","what-we-believe","what-we-do","what-we-ve-built","work-with-us"],"section_partial":false,"section_indexed_at":"2026-10-21T14:14:47.754Z","why":["authority 51 (listed)","checked 1942 minutes ago","publishes llms-full.txt"]},"read":{"llms_txt":"https://lambdaclass.com/llms.txt","llms_full_txt":"https://lambdaclass.com/llms-full.txt","nested_llms_txt":[]},"terms":null,"health":{"ok":true,"status":"valid","tier":"listed","authority":51,"last_checked":"2026-10-21T09:02:02.130Z","checked_minutes_ago":1941,"stale":true,"max_age_seconds":86400,"live_checked":false,"http_status":200,"last_valid":"2026-10-21T09:02:02.130Z","content_hash":"4dad5e838ecb4e5e4e7d19aef9efc22e"},"sources":[],"match":{"strength":"domain","reason":"Exact domain or its registered publisher."},"provenance":{"selection":"directory","verification":"domain_ownership","terms":"unknown","excerpts":"publisher_link_metadata","health":"stored_crawl"},"alternatives":[]}