{"domain":"harmonic.fun","status":"valid","tier":"listed","authority":45,"verified":false,"title":"Harmonic","summary":"Harmonic is building mathematical superintelligence (MSI) through formal mathematics and advanced AI reasoning.","country":"US","country_source":"ip","llms_txt":"https://www.harmonic.fun/llms.txt","llms_full_txt":null,"last_checked":"2026-10-21T11:28:59.251Z","agent_terms":null,"categories":["ai-ml"],"capabilities":[],"inferred_tags":["mathematical superintelligence","formal mathematics","ai reasoning","formal verification","careers"],"audience":"mixed","agent_uses":["read_docs"],"language":"en","platform_generated":false,"agent_summary":"Harmonic is building mathematical superintelligence (MSI) through formal mathematics and advanced AI reasoning; site includes about, careers and news pages.","llms_txt_cached":"https://agentwebmap.com/v1/domain/harmonic.fun/llms.txt","agentic":"documentation","section_keys":["optional","pages"],"section_partial":false,"section_indexed_at":"2026-10-21T14:12:16.631Z"}