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.

GitHub repository with 57 stars and 9 forks.

Language: Python

Topics: ai-safety, ai-security, code-security, deterministic-ai, formal-verification, hallucination-detection, sympy, z3-prover, llm-verification, ai-accuracy

Open provider repository

24h trend summary

Trending score 0.05, activity score 0.05, stars gained +0, forks gained +0.

Latest metric snapshot

2026-06-05: 57 stars and 9 forks.

Similar repositories

  1. 1. emmanuelgjr/genai_incidents

    Single source of truth for GenAI and agentic AI security incidents, mapped to OWASP LLM Top 10, OWASP Agentic Top 10 (ASI), NIST AI RMF, and MITRE ATLAS.

    GitHub repository with 13 stars and 3 forks.

    Trending score: 0.87; stars gained: +6; forks gained: +1.

    Language: Python

    Topics: agentic-incidents, ai-incidents, ai-safety, cybersecurity, dataset, genai-incidents

  2. 2. CyberStrategyInstitute/ai-safe2-framework

    The Universal Governance, Risk, Compliance (GRC) Operating System with Integrated Security for Agentic AI, Non-Human Identities, and Swarm Governance. AI SAFE² + AI Sovereignty Maturity Model (AISM) [Dual License: MIT + CC-BY-SA]

    GitHub repository with 127 stars and 19 forks.

    Trending score: 0.47; stars gained: +2; forks gained: +1.

    Language: Python

    Topics: agentic-ai, ai-governance, ai-security, compliance, devsecops, grc

  3. 3. karlmehta/trustmodel

    Score any AI for trust — Eval, Monitor, Govern. 10 trust dimensions, one free API key (5 credits / $500).

    GitHub repository with 7 stars and 0 forks.

    Trending score: 0.33; stars gained: +1; forks gained: +0.

    Language: Python

    Topics: ai, ai-safety, compliance, evaluation, fairness, guardrails

  4. 4. WhitzardAgent/AgentGuard

    AgentGuard:An Attribute-Based Access Control Framework for Tool-Use LLM-Based Agent

    GitHub repository with 68 stars and 6 forks.

    Trending score: 0.32; stars gained: +1; forks gained: +1.

    Language: Python

    Topics: access-control, agents, ai, ai-safety, compliance, defense

  5. 5. vstorm-co/pydantic-ai-shields

    Guardrail capabilities for Pydantic AI — cost tracking, prompt injection detection, PII filtering, secret redaction, tool permissions, and async guardrails. Built on pydantic-ai's native capabilities API.

    GitHub repository with 71 stars and 10 forks.

    Trending score: 0.31; stars gained: +1; forks gained: +0.

    Language: Python

    Topics: ai-agents, ai-guardrails, ai-safety, anthropic, async, content-moderation

  6. 6. ariffazil/arifos

    arifOS — Constitutional MCP kernel for governed AI execution. AAA trinity: AGI (Mind) · ASI (Heart) · APEX (Judge). Built for the sovereign agentic era.

    GitHub repository with 45 stars and 9 forks.

    Trending score: 0.24; stars gained: +0; forks gained: +0.

    Language: Python

    Topics: agentic-ai, agi, ai, ai-agents, ai-governance, ai-safety

Trending in Python

  1. 1. NousResearch/hermes-agent

    The agent that grows with you

    GitHub repository with 182,353 stars and 31,271 forks.

    Trending score: 5.95; stars gained: +1,867; forks gained: +361.

    Language: Python

    Topics: ai, ai-agent, ai-agents, anthropic, chatgpt, claude

  2. 2. chopratejas/headroom

    Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 60-95% fewer tokens, same answers. Library, proxy, MCP server.

    GitHub repository with 14,053 stars and 885 forks.

    Trending score: 5.69; stars gained: +2,829; forks gained: +175.

    Language: Python

    Topics: agent, ai, anthropic, compression, context-engineering, context-window

  3. 3. Imbad0202/academic-research-skills

    Academic Research Skills for Claude Code: research → write → review → revise → finalize

    GitHub repository with 27,615 stars and 2,272 forks.

    Trending score: 5.52; stars gained: +1,079; forks gained: +89.

    Language: Python

    Topics: academic-pipeline, academic-writing, ai-research, claude, claude-code, literature-review

  4. 4. rohitg00/ai-engineering-from-scratch

    Learn it. Build it. Ship it for others.

    GitHub repository with 28,711 stars and 4,695 forks.

    Trending score: 5.32; stars gained: +1,261; forks gained: +238.

    Language: Python

    Topics: agents, ai, ai-agents, ai-engineering, computer-vision, course

  5. 5. vinta/awesome-python

    An opinionated list of Python frameworks, libraries, tools, and resources

    GitHub repository with 301,432 stars and 28,046 forks.

    Trending score: 4.60; stars gained: +518; forks gained: +24.

    Language: Python

    Topics: awesome, collections, python, python-frameworks, python-libraries, python-tools

  6. 6. Alishahryar1/free-claude-code

    Use claude-code for free in the terminal, VSCode extension or discord like OpenClaw (voice supported)

    GitHub repository with 32,540 stars and 4,942 forks.

    Trending score: 4.56; stars gained: +467; forks gained: +82.

    Language: Python

Trending topic: ai-safety

  1. 1. Firma-AI/openfirma

    Runtime enforcement boundary for AI agents: a local sidecar that gates every outbound call against Cedar policies you own. Deterministic, call-level, no model on the hot path

    GitHub repository with 50 stars and 1 forks.

    Trending score: 1.14; stars gained: +13; forks gained: +0.

    Language: Rust

    Topics: access-control, agentic-ai, ai-agents, ai-governance, ai-safety, authorization

  2. 2. securelayer7/PROMPTPurify

    Prompt-injection guardrail for LLM applications. Compact model that outperforms larger open-source guards. No regex, no signatures. Demo: anton.securelayer7.net

    GitHub repository with 48 stars and 17 forks.

    Trending score: 0.97; stars gained: +9; forks gained: +5.

    Language: TypeScript

    Topics: ai-firewall, ai-safety, ai-security, application-security, ctf, guardrails

  3. 3. cordum-io/cordum

    The open agent control plane. Govern autonomous AI agents with pre-execution policy enforcement, approval gates, and audit trails. Works with LangChain, CrewAI, MCP, and any framework.

    GitHub repository with 485 stars and 29 forks.

    Trending score: 0.90; stars gained: +1; forks gained: +0.

    Language: Go

    Topics: ai-orchestration, ai-safety, autonomous-agents, governance, llm-agents, workflow-engine

  4. 4. emmanuelgjr/genai_incidents

    Single source of truth for GenAI and agentic AI security incidents, mapped to OWASP LLM Top 10, OWASP Agentic Top 10 (ASI), NIST AI RMF, and MITRE ATLAS.

    GitHub repository with 13 stars and 3 forks.

    Trending score: 0.87; stars gained: +6; forks gained: +1.

    Language: Python

    Topics: agentic-incidents, ai-incidents, ai-safety, cybersecurity, dataset, genai-incidents

  5. 5. trustabl/trustabl

    Static analyzer for agent reliability.

    GitHub repository with 17 stars and 3 forks.

    Trending score: 0.84; stars gained: +1; forks gained: +0.

    Language: Go

    Topics: agent-security, agent-security-eval, agent-security-scanner, agent-security-tools, agent-tools, agents

  6. 6. CyberStrategyInstitute/ai-safe2-framework

    The Universal Governance, Risk, Compliance (GRC) Operating System with Integrated Security for Agentic AI, Non-Human Identities, and Swarm Governance. AI SAFE² + AI Sovereignty Maturity Model (AISM) [Dual License: MIT + CC-BY-SA]

    GitHub repository with 127 stars and 19 forks.

    Trending score: 0.47; stars gained: +2; forks gained: +1.

    Language: Python

    Topics: agentic-ai, ai-governance, ai-security, compliance, devsecops, grc