{"domain":"formal-tech.com","status":"valid","tier":"listed","authority":50,"verified":false,"title":"丰蕾科技 / FormalTech","summary":"上海丰蕾信息科技有限公司是全自主高端工业软件供应商，面向高安全工业控制、高端装备研制和自动化 AI 嵌入式开发，提供 SMAVE、ACEPHERE、VxSPACE 系列工业软件、控制器软件与软硬件一体化解决方案。","country":"CN","country_source":"ip","publisher_country":null,"publisher_country_source":null,"hosting_country":"CN","llms_txt":"https://www.formal-tech.com/llms.txt","llms_full_txt":"https://www.formal-tech.com/llms-full.txt","last_checked":"2026-10-27T15:55:23.860Z","agent_terms":null,"categories":["industrial-manufacturing"],"capabilities":[],"inferred_tags":["industrial control software","scada","embedded ai development","formaltech products","controller software"],"audience":"business","agent_uses":["read_docs","contact_support"],"language":"zh","platform_generated":false,"agent_summary":"Shanghai industrial software vendor offering SMAVE, ACEPHERE and VxSPACE control software, controller software and hardware-software solutions for industrial au","llms_txt_cached":"https://agentwebmap.com/v1/domain/formal-tech.com/llms.txt","agentic":"documentation","section_keys":["core-facts","preferred-citation","primary-pages","products","technical-topics"],"section_partial":false,"section_indexed_at":"2026-10-27T15:55:36.616Z"}