This repository serves as a comprehensive resource for integrating machine learning with security operations, offering innovative cybersecurity strategies. It features a mix of practical code examples, insightful research, and valuable resources tailored for advancing AI/ML cyber security practices.

A neural network verification tool based on the DPLL(T) SMT Solving algorithm.

Scan your AI/ML models for problems before you put them into production.

Evidence-readiness and trust-routing runtime for high-stakes AI-assisted decisions. Turns source packs, RFPs, vendor docs, and risk files into human-review packets with evidence gaps, weak claims, owner actions, and decision-readiness routing.

Local-first LLM adversarial assurance lab for mapping attacks to controls, evidence, and framework readiness.

Trusted autonomy T&E runtime that links mission needs, hazards, scenarios, telemetry, evidence, verification reports, and hash-chained ledgers so AI/autonomous decisions can be reviewed instead of merely trusted.

Assurance methodology for autonomous AI agents in regulated financial services

Local-first AI coding assistant with 9-layer security, adversarial model testing, and cryptographic audit trails. Break your AI before it breaks your code.

Source-available governed AI control-plane architecture for evidence-gated proposals, staged execution, human review, certified resume, audited reentry, closeout ledgers, and exportable receipts. AI proposes. Humans decide. No AGI claims.

Evidence-bound AI assurance framework for dependence-aware guardrail composition, scoped safety claims, reproducible reports, and receipt-backed disclosure controls.

Governed cognition substrate for AI engineering agents: mission envelopes, evidence-bound belief/plan graphs, quarantined memory, model-role review, sentinel checks, and BlackFox handoffs under human authority.

A practical operating system for accountable AI deployment. Make AI visible, owned, risk-tiered, tested, monitored, and governable.

AI Sales Pipeline Simulation Engine — Generate random lead profiles, run full conversation simulations through your NuxHub AI pipeline, QA every artifact with fixer loop, analyze AI response quality, and measure sales progression. Hermes Agent skill pack.

Professional AI Security Assurance portfolio demonstrating model supply-chain security, LLM red teaming, static analysis, SBOM validation, risk classification, and governance-aligned AI safety workflows.

AI Management System (ISO/IEC 42001) as code — AI controls crosswalked to NIST AI RMF and ISO 23894, lifecycle-tagged, with an AI risk register and CI validation.

AOS — model-agnostic runtime assurance kernel for converting bounded AI-output signals into auditable PASS/WARN/BLOCK decisions before workflow use.

AI governance / test & evaluation work samples — NIST AI RMF, EU AI Act, Section 508.

Local-first governance tool for structured ethical review of AI-supported systems, workflows, and outputs using configurable frameworks, transparent scoring, evidence capture, and governance-ready reporting.

Draft signed evidence object and reference verifier for agentic AI release assurance.