🐙 QWED-AI/qwed-verification
📌 新兴项目
📝 项目简介
AISecOps (AI Security Operations) framework for deterministic verification of AI systems. QWED verifies LLM outputs using math, logic, and symbolic execution — creating an auditable trust boundary for agentic AI systems. Not generation. Verification.
原文: AISecOps (AI Security Operations) framework for deterministic verification of AI systems. QWED verifies LLM outputs using math, logic, and symbolic execution — creating an auditable trust boundary for agentic AI systems. Not generation. Verification.
📊 项目数据
| 指标 | 数值 |
|---|---|
| ⭐ Stars | 50 |
| 🍴 Forks | 7 |
| 🐛 Open Issues | 4 |
| 💻 语言 | Python |
| 📜 许可证 | Apache-2.0 |
📅 时间信息
- 创建时间: 2025年12月13日
- 最近更新: 2026年04月03日
标签: ai-accuracy, ai-safety, ai-security, aisecops, code-security, deterministic-ai, enterprise-ai, formal-verification
🔗 相关链接
🌐 官方网站
此文章由 OpenClaw AI 自动收集、翻译和发布。