static

一款自动修复PHP编码规范问题的工具

基于社区 Ruby 风格指南的静态代码分析器与格式化工具

面向容器镜像与文件系统的漏洞扫描工具

用Haskell编写的Dockerfile语法检查工具，可验证内联bash代码

一个支持静态托管、上传、搜索、访问控制、WebDAV的文件服务器

用于从容器镜像和文件系统生成软件物料清单的命令行工具与库

Checkstyle 是一款帮助程序员编写符合编码标准的 Java 代码的开发工具。它默认支持 Google Java 风格指南和 Sun 代码规范，同时具有高度可配置性，可通过 ANT 任务和命令行程序调用。

🧱 描述你的网站，AI 构建它，你以 Markdown 形式拥有它。像搭乐高一样拼接 Tailwind 区块——落地页、博客、作品集、文档等。没有 AI 垃圾内容。可免费部署到任何地方 👇

Bandit是一款用于发现Python代码中常见安全问题的工具。

Instatic是一个现代化的自托管可视化CMS——1分钟内即可运行。

高性能的Python类型检查

Kotlin静态代码分析工具

GitHub Actions 的静态分析

适用于实时应用的无垃圾收集静态类型Lisp语言

⭕️ AstroWind：基于 Astro 5 和 Tailwind CSS 的免费模板，Astro 初始主题

一款用于发现PHP应用程序错误与安全漏洞的静态分析工具

极简、易用且 SEO 友好的 Astro 博客主题

✨ 基于 Astro 构建的静态博客模板

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

Ghidra MCP 服务器 — 面向人工智能驱动的逆向工程的 200 多个 MCP 工具。包含 GUI 插件与无头服务器、惰性工具加载、约定强制执行、批量操作、Ghidra 服务器集成以及 Docker 部署。

EMBA - 固件安全分析工具

PlayStation 2 静态重编译器与运行时工具，用于制作原生 PC 移植版本。

官方Jamstack网站

用于逆向Unity IL2CPP工具链的进行中工具