QWED-AI / qwed-verificationView external linksLinks
Deterministic verification layer for LLMs | AI hallucination detection | Model output validation | Formal verification for AI | Python 🐍
☆43Updated this week
Alternatives and similar repositories for qwed-verification
Users that are interested in qwed-verification are comparing it to the libraries listed below
Sorting:
- A repo for generating educational presentation videos.☆27May 13, 2025Updated 9 months ago
- An AI Vision Language Model System for extracting structured knowledge graph information(JSON) from images of process diagrams☆41Apr 5, 2025Updated 10 months ago
- Running Microsoft's BitNet inference framework via FastAPI, Uvicorn and Docker.☆36Jul 2, 2025Updated 7 months ago
- A powerful MCP testing tool with multi-provider LLM support (Ollama, OpenAI, Claude, Gemini). Test, debug, and develop MCP servers with a…☆18Jan 7, 2026Updated last month
- ☆10Dec 18, 2024Updated last year
- Text to audio with Tik-Tok Voices☆13Apr 6, 2023Updated 2 years ago
- Vue Component for Kakaotalk Login☆13Dec 10, 2022Updated 3 years ago
- Yet another credential store 🔐☆16May 8, 2025Updated 9 months ago
- Simple and powerful extension for searching web and viewing website content.☆11Apr 11, 2025Updated 10 months ago
- Copilot with deepseek and more...☆12Mar 7, 2025Updated 11 months ago
- ☆16Feb 22, 2025Updated 11 months ago
- PPH in C☆24Nov 21, 2025Updated 2 months ago
- Technical docs to help you make you Halo Strix WORK!☆23Jan 10, 2026Updated last month
- ☆20Jan 26, 2026Updated 2 weeks ago
- Standalone desktop application for Text-to-Speech (TTS) utilizing the Kokoro-82M AI model for pdf files☆28Updated this week
- ☆11Nov 18, 2020Updated 5 years ago
- ☆10Sep 29, 2024Updated last year
- Home server set up☆13Oct 5, 2025Updated 4 months ago
- Custom Engineered Agents and Tools for Vibe Coders | Agents for TRAE.AI, Smart MCPs, GLM Models integration and more...☆22Dec 24, 2025Updated last month
- Setup an MCP server in 60 seconds.☆13Dec 12, 2024Updated last year
- GUI for WireSock VPN client on Windows☆14Jul 8, 2024Updated last year
- Simple Cron Jobs Scheduler using environment variables + Bun + TypeScript☆14Dec 9, 2025Updated 2 months ago
- ☆12Jan 20, 2026Updated 3 weeks ago
- ☆18Dec 9, 2025Updated 2 months ago
- The Open Source Voice Agent Platform. Orchestrate ultra-low latency AI pipelines for real-time conversations over WebRTC.☆39Dec 21, 2025Updated last month
- Local LLM set-up☆18Jul 1, 2024Updated last year
- A Docker image for NFS-Ganesha (NFSv4 only).☆10Feb 1, 2026Updated last week
- PaliGemma Inference and Fine Tuning☆13May 15, 2024Updated last year
- Proxy for OpenAI☆15Sep 2, 2025Updated 5 months ago
- containerized NFS Ganesha daemon☆10Aug 15, 2016Updated 9 years ago
- The AI-First Software Development (AIFSD) Manifesto☆22Nov 17, 2025Updated 2 months ago
- A convenient way to write text and track versions.☆13Feb 15, 2025Updated 11 months ago
- A CLI for managing AI skill packages☆27Jan 18, 2026Updated 3 weeks ago
- Git-native prompt management and testing framework for production LLM workflows☆17Jul 2, 2025Updated 7 months ago
- GitOps automation for plain old docker compose stack deploy☆10Dec 25, 2024Updated last year
- ☆30Jan 6, 2026Updated last month
- Clipboard Regex Replace is a lightweight GoLang application that allows you to automatically apply regex-based replacements to your clipb…☆10Jan 20, 2026Updated 3 weeks ago
- Forkable code execution server for LLMs, agents, and devs☆14May 7, 2025Updated 9 months ago
- Telegram Bot terintegrasi dengan SSH/VPN Script☆14May 6, 2025Updated 9 months ago