Skip to main content
Beautiful command-line interface for QWED verification.

Installation

pip install qwed
The qwed CLI is automatically available after installation.

Commands

qwed verify - One-Shot Verification

Verify a query and exit.
qwed verify "What is 2+2?"
qwed verify "derivative of x^2" --provider openai
qwed verify "Is (p AND q) satisfiable?" --model llama3
Options:
  • --provider, -p - LLM provider (openai, anthropic, gemini)
  • --model, -m - Model name (e.g., gpt-4o-mini, llama3)
  • --base-url - Custom API endpoint (for Ollama: http://localhost:11434/v1)
  • --api-key - API key (or use QWED_API_KEY env var)
  • --no-cache - Disable caching
  • --quiet, -q - Minimal output (for scripts)
Examples:
# Ollama (auto-detected)
qwed verify "2+2"

# OpenAI
qwed verify "factorial of 5" --provider openai --api-key sk-...

# Custom endpoint
qwed verify "x^2 derivative" --base-url http://localhost:11434/v1 --model mistral

# Quiet mode
qwed verify "2+2" --quiet  # Just outputs: βœ… VERIFIED: 4

qwed interactive - Interactive Mode

Start an interactive REPL session.
qwed interactive
qwed interactive --provider openai
qwed interactive --model llama3
Usage:
$ qwed interactive

πŸ”¬ QWED Interactive Mode
Type 'exit' or 'quit' to quit

> What is 2+2?
πŸ”¬ QWED Verification | Math Engine
πŸ“ LLM Response: 4
βœ… VERIFIED β†’ 4

> stats
πŸ“Š Cache Statistics
Hits: 0
Misses: 1
Hit Rate: 0.0%

> exit
Special Commands:
  • stats - Show cache statistics
  • exit, quit, q - Exit interactive mode

qwed cache - Cache Management

Manage verification result cache.

qwed cache stats

Show cache statistics.
$ qwed cache stats

πŸ“Š Cache Statistics
Hits: 156
Misses: 44
Hit Rate: 78.0%
Total Entries: 42/1000
Cache Size: 12.3 KB

qwed cache clear

Clear all cached results.
$ qwed cache clear
Are you sure you want to clear the cache? [y/N]: y
βœ… Cache cleared!

Environment Variables

QWED_API_KEY

Set default API key (useful for scripts).
export QWED_API_KEY="sk-proj-..."
qwed verify "2+2"  # Uses env var API key

QWED_QUIET

Disable colorful branding output.
export QWED_QUIET=1
qwed verify "2+2"  # Minimal output

Configuration

Provider Priority

QWED auto-detects providers in this order:
  1. Command-line flags (--provider, --base-url)
  2. Environment variables (QWED_API_KEY)
  3. Ollama default (tries http://localhost:11434/v1)

Default Models

ProviderDefault Model
Ollamallama3
OpenAIgpt-3.5-turbo
Anthropicclaude-3-haiku
Geminigemini-pro

Output Formats

Colorful Output (Default)

πŸ”¬ QWED Verification | Math Engine
πŸ“ LLM Response: 4
βœ… VERIFIED β†’ 4

────────────────────────────────────────────────────────
✨ Verified by QWED | Model Agnostic AI Verification
πŸ’š If QWED saved you time, give us a ⭐ on GitHub!
πŸ‘‰ https://github.com/QWED-AI/qwed-verification
────────────────────────────────────────────────────────

Quiet Output (--quiet)

βœ… VERIFIED: 4

Error Output

❌ Error: Ollama not running. Either:
1. Start Ollama: ollama serve
2. Or specify provider explicitly

Use Cases

1. Quick Verification

qwed verify "Is 17 a prime number?"

2. Scripting

#!/bin/bash
export QWED_QUIET=1
export QWED_API_KEY="sk-..."

result=$(qwed verify "2+2" --provider openai)
if [[ $result == *"VERIFIED"* ]]; then
    echo "Math checks out!"
fi

3. Local Development

# Start Ollama
ollama serve

# Verify without API costs
qwed interactive

> What is the derivative of x^3?
βœ… VERIFIED β†’ 3*x**2

4. Cache Performance Testing

# First run (cache miss)
time qwed verify "complex calculation"  # ~2 seconds

# Second run (cache hit)
time qwed verify "complex calculation"  # ~0.1 seconds!

Troubleshooting

”Ollama not running"

# Check Ollama status
curl http://localhost:11434/v1/models

# Start Ollama
ollama serve

"API key required"

# Set env var
export QWED_API_KEY="sk-..."

# Or pass directly
qwed verify "query" --api-key sk-...

"Module not found”

# Install missing LLM clients
pip install openai anthropic google-generativeai

# Install verification engines
pip install sympy z3-solver

Advanced Features

Caching Behavior

  • Default: Enabled (24h TTL)
  • Disable: --no-cache flag
  • Clear: qwed cache clear
  • Stats: qwed cache stats

Multiple Providers

# Compare results across providers
qwed verify "2+2" --provider openai
qwed verify "2+2" --base-url http://localhost:11434/v1
qwed verify "2+2" --provider anthropic


Made with πŸ’œ by the QWED team