📦 bimsonz/keel

Keel: A Git Platform For AI Agents

Keel lets software agents push code to a Git platform that automatically checks for semantic conflicts before anything lands. Built on Cloudflare, it gives every agent a dedicated workspace and verifies that changes do not break existing assumptions. The standout feature is how it writes a test to prove a conflict exists, keeping that guard in place until a human makes a ruling. This creates a verified merge queue where only safe changes advance to the main trunk. It is an interesting look at how we might manage autonomous coding in the future.

🆔 @hackernewsgithubprojects

📦 chadyi/studyontv

StudyOnTV: Earn Your Screen Time

An entire family media center runs without a single cloud server. This Android application turns the television into a learning hub where kids must answer questions to earn their screen time. The most surprising part is how self-contained the system is. Everything from the question bank to the usage logs stays stored directly on the device. Parents simply scan a local code to manage the rules from their phone. It pauses the video player automatically during study sessions and restores it when done. It works entirely offline and keeps the data local.

🆔 @hackernewsgithubprojects

📦 kenkaiii/gg-framework

GG Framework: The Coding Agent That Saves You Money

Cut your AI bill by nearly half without sacrificing speed. GG Framework is a desktop coding agent that races ahead of the competition by using just fourteen cents worth of compute for tasks that cost other tools forty-nine. It achieves this by skipping the usual guesswork and instead searching the actual open-source code on your machine to find precise answers instantly. This means you get verified results much faster than the heavy alternatives that waste tokens on vague suggestions. If you are paying for an AI subscription, this lightweight tool ensures you squeeze the most work out of every dollar you spend.

🆔 @hackernewsgithubprojects

📦 spaquet/markify

Markify: Write and Render Markdown in One Pane

Stop juggling split screens and start writing directly on a living page. Markify is a native Mac app that lets you type Markdown and see the formatted result in the exact same spot, without any separate preview window. The coolest part is how it handles the switch between modes. You can write your document with headings, tables, and math fully rendered, then press one shortcut to instantly fade into the raw code view. It keeps your cursor and scroll position perfectly in place, so you never lose your rhythm.

🆔 @hackernewsgithubprojects

📦 brightbeanxyz/brightbean-chat

BrightBean Chat: Own Your Chat Automation

BrightBean Chat runs on your own server, not a third-party cloud, giving you full ownership of your audience data without per-contact fees. This open-source tool acts as a self-hosted chat marketing hub, letting you build visual message flows that trigger automatically across Instagram, WhatsApp, Telegram, SMS, and email. You can turn simple Instagram comments into private direct messages or schedule drip campaigns using a visual drag-and-drop builder. Since you host the software, there are no feature gates, no middlemen, and no monthly bills that scale with your subscriber count. It is a complete, free alternative to paid chat automation platforms.

🆔 @hackernewsgithubprojects

📦 ultrametricai/ultrametric

Ultrametric: The Open Startup Repo for the Agentic Era

Ultrametric treats AI agents as the primary users of business software, ranking every vendor from banks to legal services on how well agents can actually control them. It is an open repository that maps the entire startup journey, breaking down complex processes like incorporation into clear steps that can be handled by humans, forms, or automated agents. This solves the confusion of choosing tools that look good to humans but fail when machines need to operate them. The project also includes open code for standard calculations like runway and equity dilution, ensuring transparency.

🆔 @hackernewsgithubprojects

📦 jdpolasky/chief-of-staff-2

Chief of Staff 2: Your AI Chief of Staff in Plain Markdown

Grab your morning brief by letting an AI read the plain text notes of your life. Chief of Staff 2 is a digital assistant that tracks your calendar, commitments, and standing rules directly inside an Obsidian vault, so you stop holding everything in your head. Built specifically for people with ADHD, this system uses a swappable AI to reason about your day instead of just displaying a to-do list. It is all local markdown, meaning no hidden databases or subscriptions, just a folder you can open and read. The author stripped away complex machinery to make it fast and transparent.

🆔 @hackernewsgithubprojects

📦 grafeodb/grafeo

Grafeo: The Embedded Graph Database

Grafeo is a graph database written in Rust that runs entirely inside your application without needing a separate server or heavy infrastructure. It solves the problem of slow, memory-hungry database engines by using a highly optimized columnar storage format that keeps your data tightly packed on disk. This means you can run complex graph queries with a tiny memory footprint compared to traditional alternatives. You can query it using six major languages, including Cypher and SPARQL, directly from your code. Because it is built as a library rather than a standalone service, it eliminates network latency and simplifies your deployment pipeline.

🆔 @hackernewsgithubprojects

📦 68hctmzzjf-svg/tvport

TVPort: Play Switch Games on Apple TV

TVPort turns your Apple TV into a Nintendo Switch by running the actual game code directly on the Apple chip, bypassing the usual emulation overhead entirely. It pairs with a simple Mac application that takes the game files you legally own and compiles them into a standard Apple TV app, handling the complex graphics translation automatically. This means titles like Super Mario Odyssey and Tears of the Kingdom run natively on your living room screen without needing a separate handheld console nearby. The software even manages save data so it persists even if the system clears its temporary cache.

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

🆔 @hackernewsgithubprojects

📦 leggedrobotics/terrain-grounded-imagination

Terrain-Grounded Imagination: How Robots Learn to Walk

Teach a robot to walk over broken ground by letting it dream about the terrain. This project trains a humanoid to navigate stairs, gaps, and stepping stones entirely through a learned world model. Instead of hard-coding the ground into the robot’s brain, it reads the terrain directly from a heightmap, allowing the robot to imagine its next steps and adjust its balance based on exactly what it feels under its feet. This approach makes the robot’s perception of gaps and edges precise, ensuring it knows when a foot is unsupported.

🆔 @hackernewsgithubprojects

📦 jrryzh/f2g-pose

F2G-Pose: The One-Shot Object Scanner

F2G-Pose lets you figure out exactly where an object is in three-dimensional space from just a single photo and depth scan. You know how it feels when you snap a picture of a mug on your desk and your phone’s camera can’t quite tell which way it’s facing? This project fixes that. It takes a standard image and a depth map, and in one go, it guesses the object’s exact position, its size, and even what the whole shape looks like, even if you only saw half of it. No labels, no special templates, just a quick guess.

🆔 @hackernewsgithubprojects

📦 harunrrayhan/content-machine

Content Machine: Own Your Content Pipeline

Capture ideas straight from your phone and turn them into scheduled social posts without ever opening a separate app. That is exactly what Content Machine does. It acts as a private hub where you can jot down thoughts via a simple text note or even a voice memo. The system then uses AI to organize those messy fragments into clear, actionable content. Once your idea is ready, you can schedule it to publish automatically across your social channels. You get a single place to manage your creative workflow, keeping everything in sync. No more juggling multiple apps.

🆔 @hackernewsgithubprojects

📦 apolinario/urnas-tardias

Urnas Tardias: The 5,000 Votes That Never Should Have Counted

A new data analysis reveals exactly how many votes were cast after the legal deadline in Brazil's 2026 second round. The project, called Urnas Tardias, digs into the raw machine logs published by the electoral court to track every single vote processed after five in the afternoon. It turns out that only about five thousand votes were actually counted late across the entire country. This tiny fraction represents less than one percent of the massive lead secured by the winner. The analysis proves that extending voting hours had virtually no impact on the final outcome. The takeaway is simple: the election result is mathematically immune to late vote processing.

🆔 @hackernewsgithubprojects

📦 blagoysimandov/asd-ste100-writer-skill

The AI Skill That Writes Like a Pilot Manual

An AI coding assistant can now rewrite dense technical manuals into simple, plain English that non-native speakers and machines can easily understand. The ASD-STE-100 Writer Skill plugs directly into tools like Claude Code and GitHub Copilot to apply the strict writing rules used in aviation maintenance. It takes a complex paragraph full of long sentences and passive verbs and transforms it into short, direct commands. The result is text that removes ambiguity and makes safety warnings impossible to miss. It is a fascinating look at how we make technical data clearer.

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

🆔 @hackernewsgithubprojects

📦 lebbitheplow/open-dungeon-master

Run D&D Locally With Open Dungeon Master

Run D&D 5e entirely on your own computer. Open Dungeon Master is a fully local app that generates the story and scene images right on your machine, so your campaign data never leaves your hands. The standout feature is the AI Dungeon Master who narrates the adventure, tracks initiative, and enforces the complex D&D 5e rules automatically, making it easy to run a session without needing a separate DM or online subscription. It handles character sheets, battle maps, and even voice output, giving you a complete, private tabletop experience.

🆔 @hackernewsgithubprojects

📦 datawhalechina/zero-to-sglang

Zero to SGLang: Build Your Own AI Engine

This free course lets you build a working AI server from absolute scratch before you ever touch the real code. It’s a complete roadmap where you hand-code a mini engine, adding features like memory optimization and request handling step by step. This is rare because most tutorials just show you a library without explaining how the inside works. By building it yourself, you actually learn what is happening under the hood, not just how to call a function. It is the perfect way to stop being a black-box user and start understanding the real logic behind modern AI speed.

🆔 @hackernewsgithubprojects

📦 cristianoc/tscert

TScert Proves Your Code Safe

TScert stops you from shipping TypeScript code that crashes at runtime by demanding mathematical proof before it accepts your function. Standard type checkers often miss bugs like reading undefined data, but this independent tool refuses to verify a function unless it can formally prove every step is safe using Lean. It doesn't just check types; it validates a logical certificate to guarantee your code behaves exactly as expected for every valid input. This means if TScert accepts your function, you can trust it won't break under the conditions you defined.

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

🆔 @hackernewsgithubprojects

📦 jxy333967/jianxunyun

Jianxunyun: Your Guide to Stable Access

Keep your online access stable and private with Jianxunyun, a dedicated virtual private network service. Instead of guessing which server works, this repository serves as your personal cheat sheet for every official entry point. It lists the main websites and specific backup domains you need if the primary links get blocked. This is incredibly useful because digital services change addresses frequently, and having a static reference means you never lose your account or subscription data. You can switch between these addresses instantly to bypass regional restrictions. It is a simple, practical tool for anyone needing reliable, secure connectivity without the hassle of digging through forums.

🆔 @hackernewsgithubprojects

📦 sandflow-ai/sand3d

sand3d: 3D Modeling in Python for AI

sand3d is the 3D modeling library that lets AI build complex objects with surprisingly short code. It turns Blender into a text-based toolkit where a language model writes a few simple lines to create a whole machine, like a washing machine, in under forty lines. This is powerful because the entire instruction set fits inside an AI prompt, meaning a model can generate and explain a 3D design in plain, readable Python. It is not just for static shapes; it handles moving joints and parts, making it perfect for building robotic assets and game-ready models.

🆔 @hackernewsgithubprojects

📦 livliv-dev/player

LivLiv Player: Your Webcam Avatar

Drop an animated character onto your website with just a few lines of code. This is LivLiv Player, a tiny tool that brings two dimensional avatars to life right in your browser. The coolest part is that you can plug in your webcam, and the character mirrors your real-time facial expressions. It tracks your face locally on your device, so your avatar smiles, blinks, and talks just like you do. It is incredibly lightweight, with no heavy dependencies, making it perfect for adding a personal touch to stream overlays or interactive pages. No need for expensive software.

🆔 @hackernewsgithubprojects