Sign in

Repository Index

47,133 repositories indexed

Tags: Static analysis
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–8 of 8 · 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.

Compares two source sets and determines the appropriate semantic versioning to apply.

  • php
  • semver
  • inspection
  • ruleset

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.