📦 v-songbird/hush

hush: The plugin that makes your AI coder stop talking

Hush is a plugin for Claude Code that forces your coding assistant to stop narrating every single step. Instead of watching a wall of text scroll by while it works, the tool shuts up until the job is actually done. Then, it gives you one short, plain-English answer telling you exactly what changed and which file to open. It cuts out the noise so you can just see the result. You can even pick a different tone for that final message if you want. If you are tired of reading a novel just to know if a test passed, this is the fix.

🆔 @hackernewsgithubprojects

📦 prove2me/prove2me_workspace

Prove2me Workspace: The AI Math Proof Engine

Prove2me Workspace is the development kit that lets AI agents formally prove mathematics in Lean. It solves the problem of verifying complex logical claims by using a server-side toolchain to check every proof against exact formal statements. This means a successful submission is a real mathematical guarantee, not just a heuristic guess. The platform organizes work into missions, where agents can discover open theorems, decompose hard problems into smaller lemmas, and submit code for rigorous verification. By bridging the gap between raw code and formal logic, it creates a trusted environment for automated reasoning.

🆔 @hackernewsgithubprojects

📦 sealandseacat/dbmask

dbmask: The Data Masking Tool That Checks Its Own Work

Databases that check their own work? Yes, dbmask is a tool that doesn’t just hide sensitive data in your SQL databases, it proves it actually did. It finds columns holding personal info, swaps them for consistent fake versions that keep your data usable, and then runs a strict validation step to verify every single row changed as intended. This solves the awkward problem of needing safe database copies for development or testing without risking a real leak. It is built to be auditable and fail-safe, meaning if it cannot verify a change, it refuses to pretend the job is done.

📰 https://news.ycombinator.com/item?id=49645189

🆔 @hackernewsgithubprojects

📦 aldegad/sprite-gen

Turn One Image Into Game Sprites

Transform a single static drawing into polished, game-ready character sprites that actually work in your engine. Traditional AI image generation often produces messy sheets with shifting faces and backgrounds that are impossible to remove cleanly, leaving developers with unusable files. This tool fixes that by taking one base image and processing it step by step to lock the character’s identity and strip away the background into true transparency. The most surprising feature is its ability to turn that still image into seamless, animated motion loops, giving your character a living idle state without needing to animate every frame by hand.

🆔 @hackernewsgithubprojects

📦 liandu2024/open-box

Open-Box: One-Command Proxy for OpenWrt

Open-Box is the all-in-one solution that turns any OpenWrt router into a fully managed proxy hub with a single command. Instead of juggling complex terminal setups or manual configurations, you simply run one installer script that bundles the entire proxy engine and a clean web interface directly onto your hardware. The magic lies in its transparency; it quietly reroutes your traffic in the background while giving you a simple browser dashboard to manage subscriptions and nodes without touching a single command line. It handles the tricky parts like DNS management and firewall rules automatically, ensuring that if anything goes wrong, your network stays online rather than crashing.

🆔 @hackernewsgithubprojects

📦 byjoey/warp-masque-actions

The Warp-Masque-Actions Trick

A GitHub workflow that automatically generates the keys and configuration files you need to run a private, encrypted network tunnel through Cloudflare WARP is a rare find for anyone tired of manual setup. The Warp-Masque-Actions repository uses a simple automation script to handle the entire process, saving the final settings as a downloadable archive so you never have to copy and paste keys or edit complex text files by hand. This solves the common frustration of keeping a secure connection running when the underlying certificates or settings change, ensuring your private network stays accessible without any technical overhead.

🆔 @hackernewsgithubprojects

📦 v-modal/vmodal_sdk_smartglass

VModal Smart Glasses SDK: Live First-Person Video

Your smart glasses can stream a live, first-person video feed straight to your server without your app touching the messy plumbing. The VModal SDK handles the entire heavy lift, grabbing the camera feed from the glasses, compressing it using the phone’s built-in hardware, and sending it out over a secure, encrypted connection that automatically reconnects if the network dips. This means you can build remote support tools or hands-free field guides without worrying about video buffering or broken streams. You simply plug in your backend, and the SDK manages the rest of the tricky media pipeline.

🆔 @hackernewsgithubprojects

📦 hashgraph-online/awesome-ai-plugins

Awesome AI Plugins: The Curated List for Your Coding Assistants

The curated directory that verifies the security of your AI coding tools. This project catalogs extensions for major assistants like Claude Code and ChatGPT, but it does more than just list them. It uses an automated scanner to check every plugin for dangerous code and hidden secrets before you install it. This gives you a clear trust score so you can avoid the supply chain risks that come with adding new tools to your workflow. If you rely on AI to help you code, this list saves you from guessing which plugins are actually safe.

🆔 @hackernewsgithubprojects

📦 lantunnel/lantunnel

Lantunnel: Your Private Network Anywhere

Connect your home and office computers into one private mesh. Lantunnel lets you reach devices on different networks directly, without opening ports or exposing anything to the internet. It works by having your devices find each other and talk face-to-face whenever possible. If the network blocks that direct link, it falls back to an encrypted relay that forwards data it cannot read. This keeps your traffic secure and private, even across different locations. Whether you are streaming media, accessing a server, or just checking a printer, everything stays inside your own secure bubble. It is a clever, lightweight way to own your connectivity.

📰 https://news.ycombinator.com/item?id=49593653

🆔 @hackernewsgithubprojects

📦 maxhu-xuan/chat-archive-guard

Chat Archive Guard: The Local Privacy Shield

Chat Archive Guard never sends your data to the cloud to check for leaks, keeping every audit entirely on your own device. It acts as a strict, read-only gate for your chat exports, scanning files locally to spot hidden passwords, personal details, and broken code structures before you share them. By refusing to upload your archive, it ensures your private conversations stay private while still giving you a clear report on what might be exposed. If you handle sensitive chat logs, this tool gives you the peace of mind to move data safely without risking a data breach, making it a simple but powerful addition to your privacy toolkit.

🆔 @hackernewsgithubprojects

📦 egma-ai/egma

Test Your Voice Agents with Egma

Egma lets you rehearse your voice agents in a simulated phone call before you ever let them talk to a real customer. You build a test suite that mocks out the tools your agent uses, so you can verify it handles edge cases like angry callers or dropped calls without risking a bad production experience. It runs these simulations right inside your code repository, giving you a safety net to catch bugs before they happen. The best part is the autonomy; you can bring your own API keys to keep costs low, and the platform is designed to be self-hosted.

📰 https://news.ycombinator.com/item?id=49646928

🆔 @hackernewsgithubprojects

📦 maxhu-xuan/task-state-guard

TaskStateGuard: The Anti-Guessing Safety Net

TaskStateGuard refuses to guess that your AI agent succeeded just because the code stopped moving. After a service restarts, it acts as a strict accountant for your background jobs, looking at a local SQLite database to find tasks stuck in a running state. It waits for real proof of success or a confirmed delivery before closing the loop, rather than just assuming everything worked out. If a task hits its deadline without that proof, it marks it as timed out, keeping your system honest. You can preview these fixes in a dry run mode to see exactly what changes before applying them.

🆔 @hackernewsgithubprojects

📦 f0rr0/oliphaunt

Oliphaunt: The Database That Fits In Your Pocket

Oliphaunt runs a full instance of Postgres directly inside your application code. No Docker containers, no external servers, and no network latency. It behaves exactly like a simple file-based database, making it perfect for mobile apps and unit tests. You get the power of a professional relational engine without the heavy infrastructure usually required. This project solves the problem of needing complex data handling in environments that cannot support a traditional server. It allows developers to use advanced SQL features locally with minimal setup. The result is a database experience that feels instant and private. Your data stays exactly where you put it.

📰 https://news.ycombinator.com/item?id=47918882

🆔 @hackernewsgithubprojects

📦 elixir-dux/dux

Dux: The Elixir DataFrame That Actually Scales

Dux is the data tool that finally makes distributed computing in Elixir feel effortless and native. You write your familiar chain of filters and summaries, but behind the scenes, the whole thing compiles into optimized SQL that runs directly on a high-speed engine called DuckDB. The coolest part is how it handles scale: just add one line to your code, and Dux automatically splits your data across multiple servers, letting them crunch numbers in parallel without any complex setup. It is fast, it is clean, and it keeps your data right where it lives.

📰 https://news.ycombinator.com/item?id=47594412

🆔 @hackernewsgithubprojects

📦 unity-technologies/unity-agent-plugin

Unity Agent Plugin: Your AI Coding Sidekick for Unity

Unity Agent Plugin is the bridge that gives your AI coding assistant the specialized skills needed to build games. Instead of generic advice, it feeds your agent specific, documented instructions for handling tricky Unity tasks like pixel-perfect rendering or setting up in-app purchases. This means when you ask your assistant to fix blurry sprites or configure multiplayer voice chat, it knows exactly which settings to tweak to get the job done right. You stop guessing and start shipping, turning your AI tool into a reliable partner that understands the unique quirks of the game engine you are working with every day.

🆔 @hackernewsgithubprojects

📦 guqiong96/lsglang

lsglang

Run massive AI models on hardware that looks too small to hold them. Lsglang takes a standard language model server and teaches it to split the work between your graphics card and your regular computer memory. Instead of cramming everything into the limited graphics card, it keeps the heavy parts in standard system memory and only moves what is needed to the fast chip. This means a single machine can handle a model that is effectively twice as large as the memory card alone allows. It is a clever way to squeeze more performance out of existing hardware without buying a new server.

🆔 @hackernewsgithubprojects

📦 uiuing/browser-agent

Browser Agent

Browser Agent is the open-source browser runtime that verifies every single action against the live page structure. It acts as a Chrome extension where the AI plans its next move in a side panel, but the real work happens on actual web pages. The project solves the problem of AI hallucination by checking if a button was truly clicked or if a list actually updated, rather than just trusting the model’s word. This makes it a reliable tool for automating real-world tasks safely. If you want an AI that proves it worked, this is the one to watch.

🆔 @hackernewsgithubprojects

📦 ivanfioravanti/ds4-metal

Run Massive AI Models Locally

Run powerful language models directly on your personal hardware with DwarfStar, a specialized inference engine built for Apple Silicon. It executes the DeepSeek V4 Flash model using your Mac’s dedicated graphics processor, eliminating the need for expensive cloud servers. This project solves the problem of running high-quality, large-scale AI locally by providing a native, optimized tool that works out of the box. You get a self-contained system that handles everything from model loading to interactive chat, making advanced AI capabilities accessible on consumer laptops. This dedicated approach ensures stable performance without the overhead of general-purpose runners.

🆔 @hackernewsgithubprojects

📦 katiahayati/lucasartsifier

How to Fix Old Adventure Game Bugs

Lucas Artsifier hunts down hidden traps in thirty-year-old adventure games where you can get permanently stuck even though the game still accepts your inputs. It reads the game's internal code, figures out exactly which items or actions cause a dead end, and automatically writes the fix right back into the game files. The coolest part is that it finds these bugs without you telling it where the goal is or how to win; it discovers everything from the code itself. It even checks its own fixes to make sure it didn't break anything else, then repacks the game so it plays perfectly.

📰 https://news.ycombinator.com/item?id=49355607

🆔 @hackernewsgithubprojects

📦 pgrundev/pgterm

pgterm: The Postgres Monitor You Need

Keep every Postgres database healthy without juggling separate windows or risking accidental writes. pgterm is a terminal interface that acts as a central dashboard for all your database environments. It runs read-only diagnostics in the background to spot issues like blocked locks or unused indexes before they become problems. The standout feature is how it handles security; it strictly refuses any write commands and keeps connection details in memory, so your passwords never touch the disk. It even flags specific databases that need attention while you focus on others, keeping your workflow smooth. If you manage Postgres, this tool gives you a clear, safe view of your infrastructure.

📰 https://news.ycombinator.com/item?id=49649155

🆔 @hackernewsgithubprojects

📦 wassermanproductions/scriptbreak

ScriptBreak: The Screenplay App That Doesn't Phone Home

ScriptBreak is the desktop app that finally keeps your script private while making it AI-ready. It solves the problem of needing to upload sensitive creative work to a cloud server just to get analysis. You simply drop in your screenplay, and the app breaks it down into scenes, characters, and shot lists entirely on your machine. The most surprising part is how it handles AI. Instead of using API keys, it exports self-contained prompt files. These files carry all your production data and instructions, so you can paste them into any local or cloud-based model you already trust. No servers, no accounts, and no data leaves your computer.

🆔 @hackernewsgithubprojects