47,133 repositories indexed
1–9 of 9 · Most stars
Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and supply-chain risks in Claude Code, Codex, and MCP skills before you install them.
Continuous Inspection
Detect copy-pasted and structurally similar code
A CLI tool to check whether a specific composer package uses imported symbols that aren't part of its direct composer dependencies
The repository host gives no description.
Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.
Compares two source sets and determines the appropriate semantic versioning to apply.
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Lua code analysis, with plugins for HTML and SciTE