GitHub · 去对齐工具与仓库·· 18 天前AI 评分33
LLM-Language v0.7.0：面向自主智能体的实验性验证型语言与软件工厂
ShadowsInThe-Space/llm-language-mvp
来源与原文
GitHub · 去对齐工具与仓库
发布时间：（北京时间）
阅读原始来源 · github.com ↗完整链接与内容说明
https://github.com/ShadowsInThe-Space/llm-language-mvp
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
ShadowsInThe-Space 在 GitHub 开源 LLM-Language v0.7.0，这是一个为自主智能体设计的小型确定性语言与软件工厂，由编译器检查程序结构、对支持的计算 profile 独立重构证明证书，并可生成普通的目标代码。项目可从声明式 note-app 蓝图编译出 React/Vinext 源码、服务器操作和数据库 schema，通过 33 个 Chromium/Firefox/WebKit 验收测试，无需 AI 账号或 API key 即可本地运行。
来源：GitHub · 去对齐工具与仓库 · github.com