待验证50% 置信事实精确时间

Pragtical 的核心用 C 编写，UI 与扩展逻辑大量交给 Lua，形成“小内核 + 脚本层”的架构。

1

来源数

50%

置信度

长期有效

时效性

2026/10/25

首次发现

来源

Pragtical v3.14 更新：Lua 文本编辑器新增菜单、浮动视图与会话功能

涉及实体

Pragticalproduct Cconcept Luaconcept

相关事实

待验证Pragtical 是一款以 Lua 脚本为核心扩展机制的轻量级文本编辑器。68% 相似待验证该架构模式的核心是用小型专精模型将自然语言翻译成形式逻辑，再交给求解器（如 Prolog、SMT、Lean）得出确定性答案62% 相似待验证对于更复杂的逻辑，需要动用到 Code 节点写自定义脚本。62% 相似待验证行为模式映射的中间层设计借鉴了编译器中间表示（IR）的抽象层理念，避免视觉类型的组合爆炸并保证输出可预测性61% 相似待验证基础篇聚焦于Vibe Coding核心逻辑、零基础编程思维搭建、AI编程工具配置以及万能提示词写法61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1095415

API

curl https://kongchang.com/api/v1/knowledge/claims/1095415

MCP

get_claim(id=1095415)