Aura-State
munshi007/aura-statePython framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…
ai-securitycode-analysiscurated-resources+4
29
munshi007/aura-statePython framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…
whatishope/bidoImage-based Android malware detection framework tackling obfuscation and concept drift. Includes curated datasets and Python code for training…
trustedsec/ts_llmlibPython library for local LLM-powered security analysis with Ghidra binary analysis, C/C++ vulnerability scanning, and MCP tool integration for…
cossas/certitudeCERTITUDE - A python package to classify URLs as malicious or benign
salesforce/merlionEnd-to-end Python framework for time series intelligence, offering anomaly detection, forecasting, change point detection, AutoML, ensembles, and…
ultralytics/ultralyticsDeep learning framework for object detection, segmentation, classification, pose estimation, and tracking using pre-trained YOLO models and…
jaidedai/easyocrReady-to-use OCR with 80+ supported languages and all popular writing scripts including Latin, Chinese, Arabic, Devanagari, Cyrillic and etc.
data-privacy-stack/presidioAn open-source framework for detecting, redacting, masking, and anonymizing sensitive data (PII) across text, images, and structured data. Supports…
nvidia-nemo/guardrailsProgrammable guardrails for LLM chat apps: enforce input/output rails, block jailbreaks and prompt injections, detect hallucination, and mask…
bishopfox/eyeballerConvolutional neural network for analyzing pentest screenshots
redhuntlabs/octopiiAn AI-powered Personal Identifiable Information (PII) scanner.
securityclaw/securityclawA modular, skill-based autonomous Security Operations Center (SOC) agent that monitors OpenSearch/Elasticsearch data, builds RAG-based behavioral…
ait-aecid/logdata-anomaly-minerThis tool parses log data and allows to define analysis pipelines for anomaly detection. It was designed to run the analysis with limited resources…
user1342/droiddetectiveA machine learning malware analysis framework for Android apps.
hunniccyber/sharpmlMachine Learning Network Share Password Hunting Toolkit
l33tdawg/aetherAI Smart Contract Security Analysis and PoC Generation Framework
chris1sflaggin/lcsajdumpAn ML powered Graph-Based Multi-Architecture Approach for ROP Gadget Detection
guettaf-hossam/superdiagnostictoolAI-powered Windows diagnostic & auto-repair tool using Google Gemini. Detect crashes, optimize performance, scan for malware, and generate PowerShell…