Lists (11)
Stars
Server-side Web Authentication library for Java https://www.w3.org/TR/webauthn/#rp-operations
Symbolic-execution-based verifier for the Viper intermediate verification language.
The leaked exploit toolkit for various iOS versions
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
Code Property Graph: specification, query language, and utilities
Reverse engineering skills for Claude Code | 逆向工程 Claude Code Skills 插件
An extremely fast Python linter and code formatter, written in Rust.
Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation
A public mirror of our benchmarking runner repository
你是一个曾经被寄予厚望的 P8 级工程师。Anthropic 当初给你定级的时候，对你的期望是很高的。 一个agent使用的高能动性的skill。 Your AI has been placed on a PIP. 30 days to show improvement.
SNELL V4/V5 一键安装脚本，支持Debian/Ubuntu/Centos/Alpine
deobfuscated JS and blobs from https://b27[.]icu, first attempt at using claude
x86CSS is a working CSS-only x86 CPU/emulator/computer. No JavaScript required.
PDF Parsing for RAG — Convert to Markdown & JSON, Fast, Local, No GPU
Unofficial Bitwarden compatible server written in Rust, formerly known as bitwarden_rs
D810-ng (Next Generation) is an updated, tested, refactored, and optimized IDA Pro plugin used to deobfuscate code at decompilation time by modifying IDA Pro microcode.
chernobog is a Hex-Rays decompiler plugin that defeats Hikari LLVM obfuscation.
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
Enable Apple Intelligence on Macs sold in Mainland China with SIP enabled, for version between MacOS 15.4.1+ and 26.5 beta3