The agent that grows with you

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

王爽《汇编语言》（第 4 版）检测点及实验 + 李忠《x86 汇编语言：从实模式到保护模式》（第二版）检测点及章节习题 + pwndbg 速查手册。

Plugin for JADX to integrate MCP server

MCP server for JADX-AI Plugin

Code samples for the Understanding Windows x64 Assembly tutorial.

AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.

リアルタイムボイスチェンジャー Realtime Voice Changer

SoftVC VITS Singing Voice Conversion

Your ultimate Go microservices framework for the cloud-native era.

The Magic Mask for Android

自动化绕过网易云海外限制

This repository is for the legacy Mixed Reality Toolkit (MRTK) v2. For the latest version of the MRTK please visit https://github.com/MixedRealityToolkit/MixedRealityToolkit-Unity

IDA FLIRT Signature Database

Conformance test suite for OpenXR

Unity il2cpp reverse engineer

Verified Rust for low-level systems code

The WebAssembly Binary Toolkit

Code Assistance/ Developer Productivity suite of Models

This repository contains the artifacts for the paper "Terrapin Attack: Breaking SSH Channel Integrity By Sequence Number Manipulation".

BugsInPy: Benchmarking Bugs in Python Projects

Generative model for code infilling and synthesis

AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection [ASE'23]

Coq model of Android permission system

An OpenAI gym environment for automated rule-based deductive program verification in KeY.

Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]

My personal repository of formally verified mathematics.

KeY Theorem Prover for Deductive Java Verification