A
ai-security

Projects with this topic

View qwed-verification project

QWED-AI / qwed-verification

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.

Python NLP machine-lear... sympy smt-solver formal-verif... ai-safety ai-security hallucinatio... Hallucination code-security ai-accuracy enterprise-ai deterministi... deterministi... llm-verifica... fail-closed

0

Updated Jul 21, 2026

0 0 0 4

Updated Jul 21, 2026
View KerberosAudit-AI project

Ayi NEDJIMI / KerberosAudit-AI

AI-powered Kerberos security audit tool for Active Directory - Detects Kerberoasting, AS-REP roasting, Golden Ticket indicators, delegation issues & policy compliance | Author: Ayi NEDJIMI

https://ayinedjimi-consultants.fr

active-direc... ai-security as-rep-roasting blue-team cybersecurity delegation golden-ticket kerberoasting Kerberos ldap mitre-attack Python security-audit spn-audit AI machine-lear...

0

Updated May 22, 2026

0 0 0 0

Updated May 22, 2026
View AgentProvocateur project

HackingLZ / AgentProvocateur

For testing or trolling LLM based pentesting frameworks.

ai-security honeypot llm-security prompt-injec... penetration-... Python security-res...

0

Updated Apr 03, 2026

0 0 0 0

Updated Apr 03, 2026