automated-patching

An autonomous agentic pipeline that finds, proves, and patches real C memory-safety vulnerabilities end-to-end using a single 7B open-source LLM (Qwen2.5-Coder) on vLLM, with AddressSanitizer as a ground-truth oracle.

RAVERSE: AI Multi-Agent Binary Patching System with MCP Server (35 tools, npm/pip/docker)

Continuous Integration system that automatically diagnoses, patches, and validates code issues using AI-powered analysis and formal verification.

An AI-powered security scanning system with automated triage, sandbox validation, and patch suggestions. Integrates Semgrep, Bandit, Trivy with LLM analysis for comprehensive vulnerability detection and remediation.

Multi-agent AI system for detecting, verifying, and auto-patching code vulnerabilities using static analysis, RAG, and symbolic execution.

Automated Cyber Reasoning & Remediation System (ACRRS): an autonomous loop that finds a vulnerability, patches it, and proves the fix holds, then signs a tamper-evident certificate. It verifies the exploit is dead and every mission workflow still passes. Runs CPU-only on a laptop against DLIS, a Defence Logistics Information System.

Production-tested: Grok-3 (xAI API) + Base44 Superagent performing live security audits, automated patching, and AI image generation over SSH. Python/TypeScript examples, multi-agent orchestration.

Linux hardening best practices with Docker, automated patching, ASLR, AppArmor, and continuous security monitoring

GitHub Actions bot that scans dependencies for known CVEs, explains them in plain English via AI, and opens pull requests with the patched version.