模型与接口确定性解析
按真实安装库核对元件、端口、类型、数组、单位、参数和物理连接器,不依赖名称猜测。
AI-Native Engineering
Thmiuler 通过内置 AI 工程助手和本机 MCP 标准服务,让自然语言、工程知识、真实模型接口、确定性检查与仿真计算在同一平台协同。
AI Engineering Assistant
用户只需描述目标,AI 会结合对话、离线官方知识、用户导入资料和允许附带的当前工程上下文判断任务类型;边界不足时先追问,能够执行时才生成受限结构化动作。
按真实安装库核对元件、端口、类型、数组、单位、参数和物理连接器,不依赖名称猜测。
预检查或运行失败会把诊断回传 AI,只修正失败动作并重新计算,已通过动作保持锁定。
检查结构、状态方程和公式安全,随后编译 DLL 并执行运行时 ABI 加载测试。
Thmiuler MCP
安装目录中的 THMIULER-MCP.exe 提供 stdio 标准服务。支持 MCP 的智能体可以在用户控制下完成从工程读取到结果分析的完整工具链。
Deterministic Safety
AI 与 MCP 都只能调用软件公开的受控能力,最终工程仍由用户检查、确认和负责。
MCP 仅连接 127.0.0.1 随机端口,并为每次启动生成新的本机会话令牌。
建模动作全部通过检查后先加载为可撤销草稿,不直接覆盖正式工程。
应用草稿、创建元件、保存和打开工程等写操作需要用户明确确认。
不提供任意命令执行、许可修改、服务端密钥读取或绕过确定性检查的能力。