
skill-scanner
Security Scanner for Agent Skills

Security Scanner for Agent Skills

A minimal, secure Python interpreter written in Rust for use by AI

The system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…

Security scanner for AI agents, MCP servers and agent skills.

secure multiplexed execution paths for agents - zero trust, zero setup, zero latency.

Security Governance for Agentic AI

Formal inter-procedural taint analysis engine for application security. Tracks untrusted data across function boundaries, persistence layers, and…

Autonomous white-hat security auditor for AI-driven code review, bug bounty research, exploit construction, and execution-grounded verification.

Self-hosted multi-agent environment for Go with LLM-powered pentesting agents (exploiter, reverser, threathunter, webscanner) that automate…

Shannon is an autonomous, white-box AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes…

opensource repo for validating agentic AI applications: redteam, behavior, supply-chain, static analysis

Open-source AI penetration testing tool to find and fix your app’s vulnerabilities.

DeepAudit:人人拥有的 AI 黑客战队,让漏洞挖掘触手可及。国内首个开源的代码漏洞挖掘多智能体系统。小白一键部署运行,自主协作审计 + 自动化沙箱 PoC 验证。支持 Ollama 私有部署 ,一键生成报告。支持中转站。让安全不再昂贵,让审计不再复杂。

Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and…

Automatic security vulnerability remediation for your code.

a guard that blocks catastrophic agent actions

Vigolium - High-fidelity vulnerability scanner fusing agentic AI with native speed, modularity, and precision

Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…