📦 emanuele-em/kanzo

Kanzo: The Kanban Board for AI Agents

Kanzo is the self-hosted kanban board that finally lets your coding agents work alongside you. It is a single four megabyte binary that runs on your own computer, meaning no servers and no accounts to manage. The coolest part is that it acts as a bridge between you and your AI tools. Your coding agents can grab tasks, move them to doing, and even comment on their progress directly on the board. You can watch them work in real time from your browser. It’s like having a shared to-do list where humans and robots actually collaborate.

🆔 @hackernewsgithubprojects

📦 typetheoryforall/fvjobs

FVjobs: The Job Board for Formal Verification

FVjobs tracks seventeen open roles in formal verification, a niche field where the most surprising fact is that it specifically records which proof stack each job uses, like Lean or Isabelle, so you know exactly if your skills match. The project solves a real problem: formal verification jobs are usually scattered across academic lists and general boards that have no idea what a theorem prover is. This board collects them in one place, telling you the proof tools required and whether you are legally allowed to take the role from your location. It is useful because it removes the guesswork from applying to a specialized job.

🆔 @hackernewsgithubprojects

📦 deadhead04/skilled

skilled: Test Your AI Skills

skilled is the testing tool that finally proves your AI agent actually works. It acts like a rigorous exam for your custom instructions, checking if your model handles edge cases correctly before you trust it. If you tweak the prompt or swap the model, this tool reruns the same tests to catch silent failures. It’s not just a checker; it’s an improver, guiding your agent to fix weak spots based on real evidence. Think of it as a safety net for your AI workflows. No more guessing if a change broke something. Just run the suite, see the results, and ship with confidence.

🆔 @hackernewsgithubprojects

📦 haydenschmitty/floorplan

Floorplan: Your Codebase, Mapped in Plain English

Floorplan is the code-mapping tool that turns your messy codebase into a living, plain-English floor plan. It works by letting an AI read your files and draw an interactive map where every part gets a human name, not a cryptic filename. The coolest part is that it connects your front-end buttons directly to the server code that handles them, even if they live in completely separate repositories. It also runs a health check to find forgotten passwords or security holes, giving you a one-click fix for each.

🆔 @hackernewsgithubprojects

📦 nvlabs/voloagent

VoLoAgent: The Robot Brain

Teach a robot to recover from its own mistakes by using a vision language model as a safety net. VoLoAgent acts as a smart middleman between a standard robot policy and the simulation, breaking complex physical tasks into smaller steps. The standout feature is its failure detection: if the robot drops an object or gets stuck, the system spots the error instantly and triggers a recovery, such as re-grasping the item, without human help. This turns a fragile automation script into a resilient agent capable of handling long, multi-step jobs. It is a clear look at how language models can make physical robotics more reliable and self-correcting.

🆔 @hackernewsgithubprojects

📦 hamsanders/soundbox

Soundbox: The Free Local Audio Studio

Soundbox is the local audio suite that finally lets you own your sound without the subscription trap. You know how every AI music tool wants your credit card and your data? This one just runs on your own graphics card, completely offline, with no account and no monthly fee. You describe a scene, like heavy rain or a breaking window, and it generates high-quality sound effects, music, and even full songs with lyrics right on your machine. It is built for people who want creative freedom without the corporate cloud, giving you a real desktop app where you can edit, mix, and export exactly what you need.

🆔 @hackernewsgithubprojects

📦 mcg-nju/autotavern

AutoTavern

A computer program now plays full games of Hearthstone Battlegrounds entirely on its own, without ever touching the live game servers. This repository, called AutoTavern, recreates the entire game in code so researchers can test how well artificial intelligence makes split-second tactical decisions. Instead of just watching a bot play, you can feed it specific tricky scenarios to see if it truly understands the rules or just guesses. It solves the problem of needing a real human player to practice against, giving scientists a safe, repeatable sandbox to teach machines complex strategy.

🆔 @hackernewsgithubprojects

📦 feimacode/open-design-agent-kit

Open Design Agent Kit: Professional UI for your AI Coder

Ditch the generic, flat code your AI assistant spits out by default. Open Design Agent Kit transforms your standard coding tools into professional-grade design engines, letting you generate interfaces that look polished and brand-ready. It works by feeding hundreds of specific design styles directly into your existing editor, so you get that high-end aesthetic without installing heavy desktop apps or juggling new API keys. The real magic is the variety: you can switch between the sleek look of Apple or the bold energy of Nike with a simple prompt. It’s essentially a massive library of visual rules that teaches your coder to think like a designer.

🆔 @hackernewsgithubprojects

📦 oxnw/ai-phone

ai-phone: The AI That Calls People

ai-phone is the phone daemon that actually picks up the phone on your Apple Silicon Mac. It runs a full telephone agent locally, handling speech recognition, conversation logic, and voice synthesis without sending audio to the cloud by default. This solves the problem of having an AI that can genuinely place and receive calls, acting as a real assistant rather than just a text chatbot. It connects to standard phone systems, allowing it to book tables or handle inquiries with natural, low-latency responses. The standout feature is its fully local voice pipeline, meaning your audio data stays on your machine.

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

🆔 @hackernewsgithubprojects

📦 beenuar/aisoc

AiSOC: The AI That Audits Itself

Turn raw security noise into auditable decisions with AiSOC, an open-source security operations center that you can run entirely on your own hardware. It stands out because every time an AI agent investigates a threat, it records its exact reasoning and tool calls in a replayable ledger. This means you don't just get a verdict; you get a transparent trail showing exactly how the model reached its conclusion. It solves the trust gap between fast AI analysis and human oversight, ensuring that no automated action happens without your final approval.

🆔 @hackernewsgithubprojects

📦 qf-studio/pilot

Pilot: The AI That Codes Your Tickets

Ship your backlog faster by letting an AI agent handle the actual coding. Pilot connects directly to your project tracker and takes a specific ticket, writes the necessary code, and opens a pull request for your team to review. It solves the bottleneck of waiting on developers for routine tasks, turning a simple issue into a concrete software change. You still keep control by reviewing the output before it merges, but the heavy lifting is done. It is a practical way to automate repetitive development work while keeping human oversight on the final result. Think of it as a tireless pair programmer that works from your task list.

🆔 @hackernewsgithubprojects