inventor1975/ztlstudio：LLM 只翻译、确定性内核判定的本地零信任判定工作室

GitHub 开源项目 ztlstudio 是一个本地判定陈述与悖论的工作室：LLM 只负责把自然语言翻译成形式化表格语言 ZFL v2，从不做判定；确定性 ZTL 内核给出两值判定、warranty 等级及自指系统的隔离通行证，并通过无 AI 的确定性回读二次审计。项目仅依赖 Python 标准库，克隆即自包含，支持 Groq、Anthropic（Claude）、OpenAI 等 8 家提供商，无 key 可用 pro 模式手填表格，内置 41 个示例，采用 MIT 与 Apache-2.0 双许可。