QWED Neurosymbolic Verification

Version updated for https://github.com/QWED-AI/qwed-verification to version v2.3.1.

  • This action is used across all versions by 0 repositories.

Go to the GitHub Marketplace to find the latest changes.

Action Summary

QWED Protocol is an open-source verification tool designed to ensure accuracy and reliability in outputs generated by large language models (LLMs), regardless of the model provider (e.g., OpenAI, Anthropic, Llama). It uses eight specialized verification engines to detect and prevent AI hallucinations, ensuring only verifiable outputs are deployed in production environments. By providing a model-agnostic, deterministic verification layer, QWED addresses trust and reliability concerns in AI systems and automates the validation of AI-generated content.

Release notes

QWED v2.3.1 adds the official Go SDK with zero external dependencies and full test coverage.

🆕 What’s New

Go SDK - Production Ready

  • ✅ Verifier interface for easy mocking in tests
  • ✅ Zero external dependencies (stdlib only)
  • ✅ Context support on all methods
  • ✅ 15+ unit tests with mock server
  • ✅ CI workflow with race detection

📦 Installation

Go: go get github.com/QWED-AI/qwed-verification/sdk-go

Python: pip install qwed

TypeScript: npm install @qwed-ai/sdk

🔧 Available Methods

  • VerifyMath() : Mathematical expressions
  • VerifyLogic() : Z3 logic verification
  • VerifyCode() : Code security scanning
  • VerifySQL() : SQL validation
  • VerifyFact() : Fact checking
  • VerifyBatch() : Batch processing

📝 Quick Example

import qwed "github.com/QWED-AI/qwed-verification/sdk-go"
client := qwed.NewClient("your-api-key")
result, _ := client.VerifyMath(ctx, "2+2=4")
fmt.Println(result.Verified) // true

📖 Documentation

Full Changelog: https://github.com/QWED-AI/qwed-verification/compare/v2.3.0...v2.3.1