Havuz

运动世界校园纯 Python 协议实现，包含 NetSecKit 4.2.4、GeeTest v4、全链路协议分析与自动化套件，脱离 Android App 与 Native SO 依赖。

Android encrypted email client for Aster

面向小白用户的 CTF / 逆向 Skills 整合包：自动分流、头脑风暴、教学模式、比赛模式、只提示模式

Authority control plane for autonomous work. EMILIA Gate enforces finite customer-owned mandates at protected executor boundaries; the open

Experiential world memory to help AI when web search is not enough.

一款安全又便捷的网页加密工具。采用 AES-256 + PBKDF2 百万次迭代 + HMAC 验签，密码与解密全程留在浏览器本地；一条命令或图形界面即可把 HTML（乃至整站 css/js/图片）加密成自解密页面，部署到任意静态托管。Secure, effortless HTM

Free client-side password and key generator for secure passwords, API keys, UUIDs, JWT secrets, and encryption keys. Powered by the Web Cryp

⚔️ Suite de hacking ético 100% client-side: +100 herramientas de ciberseguridad, forense, ingeniería inversa y anti-phishing que corren en t

Evidence-grounded cryptographic inventory and post-quantum migration planning for software repositories. Local static analysis, zero mandato

Post-quantum age key generation and paper backup tool with QR codes

Open-source security gateway & static scanner for AI agents. Enforce role-based access control (RBAC), human-in-the-loop approvals, segreg

Stashify, encrypted provider-agnostic storage using Telegram, Discord, and other third-party services as storage backends.

A high-precision calculation & binary data MCP server with chained batch execution (batch_calc), bitwise logic, IEEE 754, crypto, and math.

One Rust binary, zero persistence: E2EE conversations with post-quantum Noise + ML-KEM that are never written to disk.

Offline password, identity, and secret vault. Argon2id + AES-256-GCM, zero servers, zero telemetry.

Secure PHP Development — lab-driven study notes: modern PHP 8.2/8.3 through a full OWASP-mapped catalogue of PHP vulnerabilities with exploi

A small Bitcoin-like chain whose canonical ledger is my README. Proof of work is subset-sum, not hashing.

Minimal Ed25519-signed activity receipts for verifiable AI agents — self-attested, offline-verifiable, no blockchain.

Inspect, verify and extract files from Seedvault backups.

Tamper-evident evidence and verification layer for AI agents. Verify any agent's session offline with just openssl. No cloud, no lock-in.

Keyed reversible source code obfuscator for Rust: syntactically valid, functionally identical, spiritually hostile.

Full-stack real-time E2EE messenger built with Spring Boot, React, Web Crypto API, X3DH, Double Ratchet, PostgreSQL, Redis, Kafka, and Elect

Sealed letters and passwords that open for your family after you go quiet. Give a key to a loved one and have them open the envelope.

Encrypted peer to peer secret manager. Sync .env secret between dev machines - your secrets never touch a server in readable form.

LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)

Agent Receipts — cryptographically signed audit trails for AI agent actions. Protocol spec, SDKs (Go, TypeScript, Python), and MCP proxy.

Secure, auditable agent-to-agent communication framework

Live, interactive, byte-accurate visualizations of how computers actually work — 300+ tested topics across networking, cryptography, distrib

Open-source post-quantum readiness tooling by quantakrypto

End-to-end encrypted terminal chat for two people over an untrusted relay. X25519 key agreement, AES-256-GCM, replay protection and session

Experimental Subset Sum solver for large integers using SQLite as an out-of-core storage engine.

Browser-based CTF toolkit. Drop a file, every check runs at once, nothing uploads. Hand-written Rust/WASM core, zero dependencies.

LLMs have ended reverse engineering as a high-barrier skill. Case study: reconstructing 6/7 custom HTTP signing parameters of Douyin (TikTok