LunarPy-Labs / LunarDump

A lightweight, zero-trust CLI tool built in Python to automate, encrypt, and stream database backups directly to multi-cloud storage.

asterinas / KVerus

KVerus: Scalable and Resilient Formal Verification for Rust Code

loudreader / loudkit

Local text-to-speech: 28 voices, 10 languages, voice cloning, SDKs for Python, Swift, Go, Rust and TypeScript

izzy-Ti / fayda-mcp

A Model Context Protocol (MCP) bridge connecting AI agents to Ethiopia's Fayda National ID (MOSIP eSignet) for zero-trust e-KYC and identity verification.

recommend-dev / recommend-agentic-trust-layer

Verify the context you feed your AI agents, against the web or your own documents.

cg689 / codex-reconnect-fix

一键诊断并修复 Codex / ChatGPT 桌面版「正在重新连接 1/5 → 5/5」| The Codex Rust backend ignores the Windows system proxy unless respect_system_proxy = true

sarahmoorec52 / Pragmata-Assistant

Ultimate assistant for Pragmata. Features: God Mode/Ignore Hits, Infinite Health, Edit Max Health, Infinite Thrust, Infinite Ammo, Max Hacking Gauge, Unlimited Repair Cartridge, and more. 27+ functions.