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
Realistic first-contribution target: active project, 11 open issues, small enough for a newcomer PR to land.
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