A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.
☆57Jul 25, 2026Updated this week
Alternatives and similar repositories for qwed-verification
Users that are interested in qwed-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ARCHIVED — former AutomatosX application monorepo (replaced by docs landing page at defai-digital/AutomatosX)☆21Jul 14, 2026Updated last week
- A curated list of Agent-to-Agent (A2A) libraries and SDKs, organized by programming language.☆23Mar 20, 2026Updated 4 months ago
- Collections of multimodal search libraries, service and research papers☆17Apr 18, 2025Updated last year
- Just code, nothing else. A community VS Code chat extension on the Claude Agent SDK☆16Jul 15, 2026Updated last week
- Quantica is a fast, Hybrid Classical–Quantum Programming designed for high-performance computing, AI, and quantum-inspired algorithms. It…☆16Apr 25, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆18Sep 4, 2024Updated last year
- UI-based Fine-Tuning for Large Language Models (LLMs)☆20Dec 4, 2025Updated 7 months ago
- ☆23Apr 3, 2026Updated 3 months ago
- ☆18Jul 1, 2025Updated last year
- An AI based platform for in-depth research about any topic☆33Jun 18, 2026Updated last month
- Structured output benchmarks comparing DSPy and BAML with different LLMs☆28Dec 23, 2025Updated 7 months ago
- ☆10Jul 16, 2017Updated 9 years ago
- ☆16Feb 1, 2025Updated last year
- DCG utility predicates for Prolog☆10Jan 3, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆10Aug 10, 2018Updated 7 years ago
- The SubScript extension to the Scala programming language☆12May 20, 2015Updated 11 years ago
- An information resource to help people recover funds lost from the alleged BitGrail hack☆11Feb 19, 2018Updated 8 years ago
- Create and manage a git worktree for parallel feature development, then open the new worktree in the editor (code/Cursor) for a second Co…☆34Jan 7, 2026Updated 6 months ago
- High-throughput long-context LLMs. Scaling context via RandNLA and massive vocab capacity through MAXIS Loss and Fisher-SVD.☆28May 1, 2026Updated 2 months ago
- ☆17Feb 13, 2026Updated 5 months ago
- ☆22Updated this week
- ☆17Updated this week
- The reproducible runtime for local agents (MCP).☆30Dec 25, 2025Updated 7 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A lightweight Agentic AI framework which works for Mac/Linux/WSL☆49Jul 11, 2025Updated last year
- Fast, flexible graph database for code relationships with 16 production-ready language parsers — Python, Rust, TypeScript, Go, C/C++, Jav…☆15Apr 2, 2026Updated 3 months ago
- Cogito Studio: All-in-One Workspace AI☆18Jul 1, 2026Updated 3 weeks ago
- ☆25May 21, 2025Updated last year
- This repository serves as a central hub for discovering tools and services focused on automated prompt engineering. Whether you're lookin…☆16Oct 11, 2024Updated last year
- The products,docs,resources,software,tools,scripts,models,demos☆16Jun 1, 2020Updated 6 years ago
- The Deep Research Assistant is meticulously crafted on Mastra's modular, scalable architecture, designed for intelligent orchestration an…☆36Sep 18, 2025Updated 10 months ago
- AI-bloat defense CLI for Python teams: deterministic code review, cleanup forecasts, and spec/contract evidence for AI-assisted and brown…☆17Updated this week
- Deterministic-mode checks for LLM inference: measure run/batch variance, generate repro packs, and explain why outputs differ.☆19May 29, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Interactive model selection tool for Claude Code with Synthetic AI models☆16Nov 15, 2025Updated 8 months ago
- Automation harness that compiles a screen recording into a rerunnable script, with LLMs, only at decision points and self-healing reruns.☆52Updated this week
- Generate Agent Skills from MCP server tools. Connects via Streamable HTTP, discovers tools, and outputs a skill with schema docs and a ca…☆16Feb 15, 2026Updated 5 months ago
- TLS & API keys for your LLM APIs☆20Dec 17, 2025Updated 7 months ago
- Domain-Aware Neurosymbolic Agent (Dana), an agent-native programming language☆59Mar 26, 2026Updated 3 months ago
- Deterministic text generation and embeddings with zero configuration☆44Feb 21, 2026Updated 5 months ago
- ☆18Dec 16, 2025Updated 7 months ago