好开源，值得被发现。

Zara 是一款实验性的本地优先 AI 助手和 Linux 桌面 Copilot，它将符号逻辑 (Prolog) 与大语言模型 (LLM) 相结合，用于意图处理和推理。

TerraSecure 是一个基于机器学习的云安全扫描器，用于检测 AWS、Azure 和 GCP 上 Terraform 和 HCL 基础设施即代码中的云配置错误。它利用多云规则引擎、针对 AWS 的 XGBoost 机器学习模型以及 AI 分析进行上下文修复，并集成到 CI/CD 工作流中。

Vtx 是一款极简编码代理框架，提供基于 Textual 的 TUI 和无头 CLI。其系统提示词仅约 2600 个 token，支持 50 多家 LLM 提供商，并具备模块化技能、会话树及安全权限控制功能。

这是一个自然语言处理（NLP）实验集，重点涵盖词向量、Transformer 以及基础 NLP 算法的实现。