kin
firelock-ai/kinThe system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…
ai-securitycode-analysiscurated-resources+4
47
firelock-ai/kinThe system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…
munshi007/aura-statePython framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…
mattijsmoens/intentshieldPre-execution intent verification for AI agents. Audits what your AI is about to do, not what it says. Zero dependencies, deterministic, hash-sealed.
agentsid-dev/agentsid-scannerSecurity scanner for MCP servers. Grades auth, permissions, injection risks, and tool safety. The Lighthouse of agent security.
akanthed/secureai-scanSecureAI-Scan is a CLI tool that scans TypeScript and JavaScript codebases for security issues specific to AI-powered apps — prompt injection, MCP…
cookiengineer/exocompSelf-hosted multi-agent environment for Go with LLM-powered pentesting agents (exploiter, reverser, threathunter, webscanner) that automate…
adamsjack711-ux/pkgxrayPre-install security for AI agents, npm packages, and MCP servers. Zero-dep local static analysis; normal scans never execute package code.
ny1024/clawguardModular security toolkit for autonomous agents providing static analysis, configuration auditing, runtime monitoring, and supply chain verification…
rocketchat/layneA doggo that helps look for security issues in your repositories.
owasp/appsec-agentA TypeScript package that provides AI-powered agents for Application Security (AppSec) tasks, built on top of the frontier models.
seanheelan/claude_opus_cve_2023_0266Demo showing Claude Opus does not find CVE-2023-0266
zhengxr930/malevalOfficial code for the ISSTA 2026 paper: Is "Knowing It’s Malicious" Enough? Evaluating LLMs for Fine-Grained Malware Behavior Auditing
giovannigatti/cve-benchA benchmark for evaluating AI agents on fixing real-world security vulnerabilities.
ztcoalson/if-guide[NeurIPS '25] Code for Paper "IF-Guide: Influence Function-Guided Suppression of Harmful Training Data for Reducing LLM Toxicity"
golab-arch/synaptic-sentinelThe vibe-coding security sentinel. Apache-2.0 agentic security toolkit for AI-assisted projects: 5 deterministic scouts + LLM Brain Layer (BYOK…
themiddleblue/vibegateHost-agnostic pre-write security hook for coding agent: detects user-input patterns via Semgrep and emits deterministic, no-LLM security guidance.
farhadalimohammadi-dir/vulnrepro-benchmarkBenchmark measuring AI models' ability to detect vulnerabilities in source code via real bug bounty cases with balanced recall and false-positive…
teycir/skillsguardStatic security scanner for AI agent skill packages. Detects malicious SKILL.md files and bundled scripts before they run.