AI-free static security scanner for Claude Code artifacts (Skills, Hooks, MCP configs). Detects data exfiltration, prompt injection, and supply chain risks with deterministic, reproducible results.
Archive
Derived from this repo's Cargo dependencies and activity — difficulty is an estimate from codebase size and scope.
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
AI-free static security scanner for Claude Code artifacts (Skills, Hooks, MCP configs). Detects data exfiltration, prompt injection, and supply chain risks with deterministic, reproducible results.
JavaScript ma comme si deve 🤌🏻
droast - a dockerfile linter that actually has opinions 🔥
Fast Markdown linter and formatter written in Rust
A tridirectional converter between Json, Yaml, and Toml
Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation required.
Detect license usage restrictions in your project!
Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
Like JavaDocs for Bash