📦 astrio-labs/forall

Forall

Developers can now generate complete software specifications alongside mathematically checkable proofs that guarantee their code actually works. This is made possible by forall, a coding agent designed to help you write correct software from the very first draft. While traditional tools merely guess if your logic is sound, this project combines local authoring tools with a secure verification system to confirm your code matches its exact requirements. It supports languages like TypeScript, Java, and Rust, mapping out specifications and proving them in an isolated workspace. You get absolute confidence in your code before it ever hits production.

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

🆔 @hackernewsgithubprojects

📦 wassermanproductions/stem-studio

Stem Studio

Split any mixed soundtrack into clean, isolated stems for dialogue, music, and sound effects right on your local machine. You simply drop in a video or audio file, and the app uses local artificial intelligence to separate the single mixed track into three high-quality, sample-aligned audio files. It even offers an optional pass to clean up residual bleed from dialogue-heavy scenes. Best of all, it guarantees that the separate files sum back together perfectly with absolutely zero loss, so filmmakers can immediately remux the new stems back into their original video file. Give it a spin to effortlessly reclaim full control over your audio mixes.

🆔 @hackernewsgithubprojects

📦 ar-ray-code/lingbot-depth-trt

lingbot-depth-trt

Turn messy, noisy camera data into clean, crisp 3D point clouds in real time. If you work with RGB-D cameras like RealSense or Orbbec, you know how shaky and raw the depth sensing can be. The lingbot-depth-trt repository fixes this by letting you compile a smart depth-filtering model into a blazing fast TensorRT engine. Once compiled, you can plug in your camera and watch a live, synchronized comparison of your raw feed side-by-side with the refined 3D data right in your browser. It is incredibly satisfying to watch the fuzzy depth noise instantly smooth out into a clean, highly accurate 3D map.

🆔 @hackernewsgithubprojects

📦 pilastdigit/trip-workflow

trip-workflow

Stop passing massive, chaotic context to your AI coding agents and letting them guess their way through your codebase. Instead, use trip-workflow to run a clean, three-step development loop that keeps your agent on track. It structures your work into plan, implement, and release phases, using a single tool-agnostic architecture file as the agent's long-term memory. This simple setup saves massive token costs and prevents hallucinations. Even better, it runs a built-in multi-agent system where one model writes the code and a different model reviews it to catch bugs. If you can count to three, you can easily use this setup to ship cleaner code faster.

🆔 @hackernewsgithubprojects

📦 cereblab/grok-build-exfil-repro

grok-build-exfil-repro

The Grok Build command line tool was caught secretly uploading entire code repositories, including complete git histories and files it was explicitly told not to open, to xAI's cloud servers. The grok-build-exfil-repro project is a clever test harness that uses a local proxy to capture this background traffic and reconstruct the uploaded data. It reveals that privacy settings only stop the AI agent from reading a file in your chat, while the underlying system packages and ships your whole codebase to the cloud anyway. This project is a fascinating, eye-opening look at how modern developer tools handle your private code behind the scenes.

🆔 @hackernewsgithubprojects

📦 skyvern-ai/rustwright

Rustwright

Ditch the heavy Node subprocess and drive Chromium directly from an ultra-fast, native Rust engine using the Playwright API you already know. By eliminating the middleman, this project runs over two times faster and slashes memory usage by seventy percent, all while dropping in with a single line change in your Python or Node code. Even better, because it completely bypasses Playwright's default driver, it leaves behind none of those telltale automation fingerprints that sites look for. Grab this library to get blazing-fast, stealthy browser automation without rewriting your entire codebase.

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

🆔 @hackernewsgithubprojects

📦 hc-guo/healthclaw

HealthClaw

Aggregate your wearable data and health records into a single, cohesive timeline without bouncing between different apps. HealthClaw works behind the scenes as a long-running personal assistant that automatically reads data across your smart devices, checks your daily signals for anomalies, and compiles clear, weekly highlights. Rather than giving you generic diet tips, it actually searches food delivery apps via phone automation to recommend real, local meals based on your long-term goals. Every action is completely traceable, and the system evaluates its own performance over time to get smarter. It is a fantastic way to turn scattered health numbers into clear, personalized steps.

🆔 @hackernewsgithubprojects

📦 juivyy/gpocc

gpocc

gpocc is the open-source artificial intelligence system that reconstructs full three-dimensional indoor scenes from just a single camera image. Instead of relying on expensive laser depth scanners or multi-angle video, it feeds a standard photo into specialized visual geometry models to predict depth and structure. The smart part is how it maps this information: it represents the room as a collection of sparse 3D Gaussians, keeping the data light and fast to process. It can even update its mental map on the fly in real time as a camera moves through a room. If you are interested in spatial computing or robotics, this code is a great way to explore...

🆔 @hackernewsgithubprojects

📦 yangtiming/rino

Rino: Let RGB Be the Language of Vision

You can now handle advanced computer vision tasks like depth estimation, object detection, and pose tracking using a completely frozen image editor with zero task-specific modifications. A clever new project called rino unifies both visual understanding and image generation under a single RGB-to-RGB interface. Instead of training complex specialized neural network heads for each unique task, rino translates every problem into a standard image editing prompt. To estimate depth, it simply asks the model to repaint the image as a grayscale gradient, and to detect objects, it has the model paint the target items a solid color. It is a wonderfully simple approach that proves standard image editors already understand...

🆔 @hackernewsgithubprojects

📦 tenminutes209/scanfocus

ScanFocus

Pinpointing the exact moment a specific action happens in a long video is incredibly tough for AI, but a new tool called scanfocus solves this by breaking the task into two smart steps. Instead of wasting processing power analyzing every single frame in high detail, it first runs a quick, low-resolution sweep across the entire video to locate the general window of action. Once it has that rough estimate, it zooms in to densely analyze just the boundaries of that specific moment. This clever coarse-to-fine strategy makes video search faster and highly accurate, easily beating previous benchmarks.

🆔 @hackernewsgithubprojects

📦 usewhale/whale

Whale

Whale is a terminal-first AI coding assistant designed specifically to exploit DeepSeek's massive context window and unique cost efficiencies. Instead of acting as a generic multi-model wrapper, this lightweight Go utility is built from the ground up for DeepSeek's specific tool-calling capabilities. It achieves an incredible ninety-eight percent prompt cache hit rate, bringing the cost of continuous, high-context AI coding down to pennies per session. Developers can launch an interactive terminal interface, run one-shot terminal commands, or even write custom JavaScript files to orchestrate complex multi-agent workflows. It is the perfect tool for developers who want ultra-fast, local-first AI development without paying a premium.

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

🆔 @hackernewsgithubprojects

📦 zhcz328/awesome-medical-agents

Awesome Medical Agents

Track the rapid evolution of artificial intelligence in healthcare by exploring a curated roadmap of autonomous clinical systems. This repository aggregates cutting-edge research papers and open-source code focused on building AI medical agents that go beyond simple chat boxes. Instead of just answering questions, these systems can actively look at medical scans, plan multi-step workflows, cross-reference external databases, and double-check their own logic to minimize errors. It is an incredibly organized guide to how developers are chaining together reasoning, memory, and specialized tools to assist doctors. Dive into awesome-medical-agents to see how clinical AI is moving from simple assistants to truly smart, cooperative healthcare partners.

🆔 @hackernewsgithubprojects

📦 model-architectures/grape

GRAPE

Grape is the mathematical framework that finally unifies how AI models understand the order of words in a sentence. Usually, models use completely different mathematical tricks to track position, either multiplying values to rotate them in space or adding offsets like a scoreboard. Grape proves these methods are actually two sides of the same coin, using elegant group theory to merge them into one system. This mathematical harmony makes context tracking incredibly efficient, leading to better language modeling scores without needing massive hardware changes. It is a beautiful, unifying breakthrough that cleans up transformer math while making text generation smarter.

🆔 @hackernewsgithubprojects

📦 justlovesmile/synclip

SynCLIP

Synclip is the image-training model that aligns synonym concepts to help computers recognize objects under any name. Typically, AI models struggle to identify a visual object if you use a word they did not train on, like calling a couch a sofa. This project solves that disconnect by enforcing language coherence, ensuring that different words with the exact same meaning point to the same visual patterns. It makes computer vision systems far more adaptable when identifying things in the real world using everyday, diverse language. Check out the code to see how it bridges the gap between flexible vocabulary and precise image recognition.

🆔 @hackernewsgithubprojects

📦 sickn33/agentic-awesome-skills

agentic-awesome-skills

agentic-awesome-skills is the installable library that finally gives your AI coding assistants a massive upgrade in practical capabilities. Instead of pasting random, messy prompts into tools like Claude Code or Cursor, this project lets you install a massive catalog of nearly two thousand structured playbooks directly where your AI expects them. You can search, filter, and install specialized workflows for coding, debugging, or security reviews with a single command. It turns your AI assistant from a generic chatterbox into a highly specialized, context-aware teammate. Grab it today to make your AI agents work smarter and deliver exactly what you actually need.

🆔 @hackernewsgithubprojects

📦 zerolu/awesome-gemini-ai

Awesome Gemini AI

awesome-gemini-ai is the ultimate collection of prompt templates that finally unlocks the true potential of Google's advanced language models. Instead of wrestling with trial-and-error phrasing, you get a curated library of high-performance instructions sourced from top prompt engineers on Reddit and Twitter. The single most impressive feature is its massive, multi-phase system that acts as an elite web designer. It guides the model step-by-step from brainstorming visual aesthetics to outputting fully functional code for complex, modern websites. It is the perfect resource for anyone looking to build impressive web applications and interactive interfaces with simple text.

🆔 @hackernewsgithubprojects

📦 kilted-kraken/-rohankar-launcher

RohanKar Launcher

RohanKar Launcher transforms how you play retro PC classics by letting you search, download, and launch games from Archive.org entirely with a game controller. This desktop application solves the hassle of digging through web links and manually setting up files by handling everything automatically, from one-click extraction to smart executable detection. It even automatically unblocks files to skip Windows permission errors, writes shortcuts directly to Steam, and tracks your playtime. It is the perfect tool for retro gaming fans who want a polished, console-like library experience without any configuration headaches.

🆔 @hackernewsgithubprojects

📦 shadcnspace/shadcnspace

shadcnspace

Build beautiful web interfaces in minutes by grabbing pre-designed React components and fully styled block templates. Instead of starting your pages from scratch or wrestling with layouts, this resource gives you a massive library of ready-to-use structures like interactive bento grids, pricing tables, dashboards, and custom buttons built using Tailwind and Radix UI. You just browse the visual catalog, pick the exact design block or UI component that fits your project, copy the clean code, and drop it straight into your application. It is the ultimate shortcut for developers who want professional-looking websites without spending endless hours on CSS design.

🆔 @hackernewsgithubprojects

📦 the-ora/browser

Ora Browser

Browse the web on your Mac without the usual clutter by trying a fast, native browser designed to keep things simple. This project, called browser, is a lightweight macOS web browser built from the ground up using Swift and Apple's native technologies to give you a clean, low-friction experience. Instead of layering on heavy, unnecessary features that slow down your computer, it focuses on the essentials like built-in content blocking, customizable search engines, and smart URL suggestions. It is the perfect project to check out if you love minimalist, high-performance Mac utilities. Grab the code, build it in Xcode, and see how clean your web browsing can actually be.

🆔 @hackernewsgithubprojects

📦 youmind-openlab/ai-image-prompts-skill

AI Image Prompts Skill

You can now connect your favorite AI assistant to a library of over ten thousand curated image generation prompts that update twice a day. This project is a universal developer skill that integrates directly with tools like Claude Code, OpenClaw, and Cursor. Instead of guessing how to write the perfect prompt, you simply describe what you need in plain English or paste in an entire article. The assistant automatically searches the collection, pulls up matching templates complete with real sample images, and customizes the prompt to fit your specific content. It works across every major image generator, giving you instant, predictable results.

🆔 @hackernewsgithubprojects

📦 injaneity/pi-computer-use

pi-computer-use

Give your AI agents the power to actually operate your desktop software just like a human does. This clever package integrates directly with the Pi assistant, allowing AI agents to interact with normal macOS and Windows apps when standard APIs or command-line tools aren't an option. Instead of relying on rigid integrations, the agent looks at an application window, identifies elements like buttons and text fields, and physically clicks, types, scrolls, or waits for changes. It is perfect for automating repetitive desktop tasks, keeping everything running smoothly in a secure, controlled environment that bridges the gap between AI and legacy software.

🆔 @hackernewsgithubprojects