AI Agent Skills

Hydra: a multithreaded site-crawling link checker in Python standard library

🤖Automated node IP risk checking and tagging tool for Clash (适用于 Clash 代理的自动化节点 IP 风险检查并重命名标记工具)

A PHP dependency vulnerabilities scanner based on the Security Advisories Database.

Go security checker

A Node.js style checker and lint tool for Markdown/CommonMark files.

:octocat: Static checker for GitHub Actions workflow files

Kubernetes PreUpGrade (Checker)

Python Type Checker / Language Server

Power Platform GitHub Actions automate common build and deployment tasks related to Power Platform. This includes synchronization of solution metadata (a.k.a. solutions)…

Power Platform Build Tools automate common build and deployment tasks related to Power Platform. This includes synchronization of solution metadata (a.k.a. solutions) be…

[SOSP'25] Automatic checker synthesis for system-level static analysis

Static security checker for Dockerfiles