最新

将数据仓库中嵌套的 JSON 自动分解为规范化的 dbt 模型。 Forge Core 是一个确定性的广度优先搜索 (BFS) 引擎，它读取单个 JSON 列（或多列表），发现所有嵌套结构，并生成： * dbt SQL 模型 — 每个嵌套对象/数组对应一个 * 汇总视图 — 从规范化表中重新组装完整文档 * schema.yml — 结构化列清单 * JSON Schema — 发现结构的标准 draft-07 模式 * Mermaid ER 图 — 表关系可视化

大多数 AI 安全工具止步于标记看起来有漏洞的代码。最终，你会面对一堆“潜在”发现，而且如果没有手动复现每一个，就无法知道哪些是真实的。现在，查找和修复都很便宜；真正证明哪些发现是真实的且有影响力的，是最后一道障碍。 RedAI 旨在弥合这一差距。在扫描代理发现候选漏洞后，验证代理会将每一个候选漏洞带入一个实时环境——目标运行实例——并尝试证明或证伪该发现。它们会导航用户界面、访问端点、编写 PoC 脚本、启动辅助服务器、捕获日志和截图。 最终结果是一份关于真实、可复现漏洞的报告，其中包含 PoC 步骤和截图来证明。

我一直在构建 Univence，一个由 GLM-5.1 驱动的定制自主编码代理平台。 我们构建它的目标是成为真正的 Replit/Vercel 的竞争对手，但没有供应商锁定。您可以在我们的平台上与我们最先进的代理一起构建和开发，但您拥有代码，并且可以无缝地将其部署到任何第三方主机上，如 DigitalOcean、Netlify、AWS 或您自己的 VPS。 为了证明核心代理的能力，我们刚刚使用 LiveCodeBench Lite 数据集（Python 分割）对其进行了测试。以下是针对 369 个问题的盲测结果： ``` 总计：通过 348/369 (94.3%) 简单：通过 138/141 (97.9%) 中等：通过 152/156 (97.4%) 困难：通过 58/72 (80.6%) ``` （注：我们在困难问题上取得 80% 的成绩，是通过对代理的约束进行工程设计，严格优先考虑最优时间复杂度，如 O(n log n)，而不是暴力破解 O(n^2)，从而避免了通常会使标准包装器出错的“超出时间限制”错误。） 但我们不仅仅是为了技术而构建这个平台。我的联合创始人是一位目前居住在加沙地带的巴勒斯坦难民，我们推出这个平台是为了产生直接的人道主义影响。该平台 11 个月的所有利润的 100% 将直接捐赠给支持巴勒斯坦难民。 该代理已经如此出色，但我有一个架构理念的路线图，可以使其更上一层楼。目前，我正在寻找快速的天使轮融资、计算赞助或战略合作伙伴，以帮助我们尽快扩大规模。 ``` 试用：https://univence.com 原始 JSONL 轨迹日志：https://github.com/UnivenceAI/Univence-benchmarks/tree/main/Z%20AI/GLM-5.1 关注我们的进展和捐款证明：https://x.com/UnivenceAI ``` 我非常欢迎您对平台或代理架构的任何反馈。如果您是投资者或想支持这项使命，我的 X 上的私信已开放，或者您可以通过 univenceai@gmail.com 与我们联系。