Live transcription and translation for everything your Mac hears.

논문을 음슴체 커뮤니티 정보글로 풀어 주는 에이전트 스킬

A modular, stack-agnostic toolkit for AI coding agents to autonomously find, reproduce, and patch vulnerabilities.

Pashov Audit Group Skills

Raptor turns Claude Code into a general-purpose AI offensive/defensive security agent. By using Claude.md and creating rules, sub-agents, and skills, and orchestrating security tool usage, we confi…

GitHub Security Lab Taskflow Agent

AgentRE-Bench is an agentic benchmark that evaluates state-of-the-art models on long-horizon reverse engineering tasks, measuring their ability to analyze binaries, use tooling effectively, and rea…

Mobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static a…

📱 objection - runtime mobile exploration

Dex to Java decompiler

LIEF - Library to Instrument Executable Formats (C++, Python, Rust)

FLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.

The FLARE team's open-source tool to identify capabilities in executable files.

A powerful and user-friendly binary analysis platform!

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Drive x64dbg with your AI. MCP server: 23 mega-tools / 153 endpoints for breakpoints, memory, disasm, tracing, anti-debug & PE dumping. Claude/Cursor/Windsurf/Cline. All local.

Find zero-days while you sleep. DeepZero is an automated vulnerability research framework that parses, decompiles, and analyzes thousands of Windows kernel drivers for exploitable IOCTLs natively u…

Reverse Engineering: Decompiling Binary Code with Large Language Models

MCP server for reverse engineering tasks in Ghidra 👩‍💻

Sherlock audit and coverage reports

Knowledge Base 慢雾安全团队知识库

Pre-built security properties for common Ethereum operations

Using mutations to improve specs and test suites

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Rust-based framework to Fuzz Solana programs, designed to help you ship secure code.

Smart Contract Property-Based Testing Framework

Extension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Always published under Recon-Fuzz. Recommend building from source.