{"query":"formal.ai","mode":"domain","best":{"domain":"formal.ai","status":"valid","tier":"listed","authority":46,"verified":false,"title":"Formal","summary":"Formal is a protocol-aware reverse proxy that enforces least privilege on every query. It secures access to databases, APIs, AI agents, and infrastructure by parsing wire protocols natively and evaluating policies inline with sub-10ms p50 overhead.","country":null,"country_source":"cdn","llms_txt":"https://formal.ai/llms.txt","llms_full_txt":null,"last_checked":"2026-10-21T23:22:14.102Z","agent_terms":null,"categories":["ai-ml","cybersecurity","ai-agents-mcp"],"capabilities":[],"inferred_tags":["least privilege access","database security","ai agent security","protocol-aware proxy","zero trust"],"audience":"developers","agent_uses":["read_docs","call_api"],"language":"en","platform_generated":false,"agent_summary":"Protocol-aware reverse proxy enforcing least-privilege access to databases, APIs, AI agents and infrastructure, with docs, OpenAPI specs and agent git-push bloc","llms_txt_cached":"https://agentwebmap.com/v1/domain/formal.ai/llms.txt","agentic":"interface","section_keys":["blog","company","customer-stories","documentation","formal-documentation","openapi-specs","optional"],"section_partial":true,"section_indexed_at":"2026-10-21T23:22:14.196Z","why":["authority 46 (listed)","checked 1302 minutes ago"]},"read":{"llms_txt":"https://formal.ai/llms.txt","llms_full_txt":null,"nested_llms_txt":[]},"terms":null,"health":{"ok":true,"status":"valid","tier":"listed","authority":46,"last_checked":"2026-10-21T23:22:14.102Z","checked_minutes_ago":1301,"stale":false,"max_age_seconds":86400,"live_checked":false,"http_status":200,"last_valid":"2026-10-21T23:22:14.102Z","content_hash":"0032c7f43d67d786e43113bc5bbba2db"},"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":[]}