RAM efficient terminal agent harness for coding, cybersecurity, and automation.
An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.
A fast, modern web server built for production debugging.
:zombie: Inject bugs and see if your tests catch them!
A terminal EPUB / PDF Book Reader (+djvu)
Fast open-source PCB autorouter for KiCad and Specctra DSN — a Rust port of Freerouting with bug fixes, length matching, controlled impedance and differential pairs
Deterministic Linux VMs you can scrub, rewind and fork. Find and replay flaky builds and tests.
Run any process, on your machine or in an AI agent's environment, as if it were a pod in your Kubernetes cluster: real env vars, DNS, network, traffic.
The fastest and complete solution for domain recognition. Supports screenshoting, port scan, HTTP check, data import from other tools, subdomain monitoring, alerts via Discord, Slack and Telegram, multiple API Keys for sources and much more.
Rust profiler for CPU, memory, SQL, HTTP, and async performance, with Prometheus and Grafana support.
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.
OpenID Connect Library for Rust
A VSCode debugger extension for native code, powered by LLDB.
A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
xcodebuild for humans and agents: build, run, debug, and test iOS, macOS, tvOS, watchOS, and visionOS apps from your terminal.
custom protocol network proxy
Prompty makes it easy to create, manage, debug, and evaluate LLM prompts for your AI applications. Prompty is an asset class and format for LLM prompts designed to enhance observability, understandability, and portability for developers.
JSON Web Token Hack Toolkit
🔬 microscope 🔬
A library for reading and writing the DWARF debugging format
Mantis Hack
Keyboard and mouse friendly TUI for debugging HTTP requests in terminal
Rust debugger for Linux x86-64
A container debugging tool based on FUSE
blazing fast Vue.js toolchain. compiler, linter, type checker, formatter, lsp, story system, editors. already 30k+ tests.
ScanT3r - Module based Bug Bounty Automation Tool ( use Lotus instead github.com/bugBlocker/lotus )
Detect concurrency and memory bugs and possible panic locations in Rust projects
Debugger for Hubris
Tracing packets in the Linux networking stack & friends
uf — the unified toolchain for flow & react. the most easy way to build your app with flow type.
—
A Rust-based x86-64 PE protection framework with RISC program virtualization, polymorphic VM bytecode, CFG transformation, runtime hardening, integrity checks, and execution verification.
Developer tools for inspecting and debugging GPUI applications
Some bugs found via binary instrumentation and fuzzing
🌙🦊 Dalfox is a powerful open-source XSS scanner and utility focused on automation.
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
Classify Git commit diffs and messages with Jev. Bug fixes, security fixes/CWEs, and change types.
(Cyber)Satori(赛博觉妖怪)是一款本地优先的 Windows 桌面助手,支持使用习惯学习、常用应用推荐、快速词输入、音量与外接显示器亮度调节。基础功能无需 API;可选 AI 接口用于辅助分析陌生情况,经用户确认的经验保存在本地并复用。(暂时维修中,目前发现了一个长期使用下会影响基本功能的严重学习bug)
Extract PS5 debug packages (FIH/PFS/NAPS/Kraken) into the layout the AnyPS5 relinker expects