This media is not supported in your browser
VIEW IN TELEGRAM
π¦ vstorm-co/agenticos
AgenticOS: Your Company's AI, Your Rules
Run your entire team of AI workers on your own servers, not someone else's. AgenticOS gives you a private control center where you define exactly what those agents can do, how much they can spend, and who has to approve their actions. You get a full audit trail of every decision, so nothing happens in the dark. It connects to thousands of existing tools, letting you build specific workers for legal, healthcare, or logistics without leaving your own infrastructure. If you need AI that follows your company's strict rules, this is how you keep it safe.
π° https://news.ycombinator.com/item?id=49705577
π @hackernewsgithubprojects
AgenticOS: Your Company's AI, Your Rules
Run your entire team of AI workers on your own servers, not someone else's. AgenticOS gives you a private control center where you define exactly what those agents can do, how much they can spend, and who has to approve their actions. You get a full audit trail of every decision, so nothing happens in the dark. It connects to thousands of existing tools, letting you build specific workers for legal, healthcare, or logistics without leaving your own infrastructure. If you need AI that follows your company's strict rules, this is how you keep it safe.
π° https://news.ycombinator.com/item?id=49705577
π @hackernewsgithubprojects
This media is not supported in your browser
VIEW IN TELEGRAM
π¦ supermedo/uncharted_pc
Uncharted PC: PS4 Games on Windows
Play the complete Nathan Drake collection of Uncharted directly on your Windows computer without needing a PlayStation console. This project runs the original PlayStation four game code natively on your PC by translating graphics into Vulkan, ensuring you get the exact same experience as the console. It handles the tricky job of making old hardware instructions work on modern graphics cards, so you can enjoy all three adventures with modern upscaling tech like DLSS and high refresh rates. No emulation layer or heavy bloat, just the raw game files running on your machine.
π @hackernewsgithubprojects
Uncharted PC: PS4 Games on Windows
Play the complete Nathan Drake collection of Uncharted directly on your Windows computer without needing a PlayStation console. This project runs the original PlayStation four game code natively on your PC by translating graphics into Vulkan, ensuring you get the exact same experience as the console. It handles the tricky job of making old hardware instructions work on modern graphics cards, so you can enjoy all three adventures with modern upscaling tech like DLSS and high refresh rates. No emulation layer or heavy bloat, just the raw game files running on your machine.
π @hackernewsgithubprojects
This media is not supported in your browser
VIEW IN TELEGRAM
π¦ tykimos/agent-native-agent
Agent-Native Agent: The App That Rewrites Itself While You Watch
Agent-Native Agent is a self-hosted dashboard where the coding agent is literally the engine running your application. Instead of just chatting with a bot, you watch the live interface and talk to the agent, which then proposes and applies code changes on the spot. This means the app evolves in real time as you use it, eliminating the usual delay between asking for a feature and seeing it work. Itβs built specifically for Claude Code and Model Context Protocol, letting you operate a living system that changes its own rules based on your conversation.
π @hackernewsgithubprojects
Agent-Native Agent: The App That Rewrites Itself While You Watch
Agent-Native Agent is a self-hosted dashboard where the coding agent is literally the engine running your application. Instead of just chatting with a bot, you watch the live interface and talk to the agent, which then proposes and applies code changes on the spot. This means the app evolves in real time as you use it, eliminating the usual delay between asking for a feature and seeing it work. Itβs built specifically for Claude Code and Model Context Protocol, letting you operate a living system that changes its own rules based on your conversation.
π @hackernewsgithubprojects
This media is not supported in your browser
VIEW IN TELEGRAM
π¦ getlago/inside-lago-voice-skill
Inside Lago Voice Skill: Stop Sounding Like a Robot
Inside Lago Voice Skill is the writing template that actually makes AI sound like you, not a polished robot. Most people assume AI text is just a draft you have to fix, but this repo flips the script by giving you a blank structure to map out your own weird, specific habits. It asks you to list your anti-patterns, your favorite sentence rhythms, and the exact things you cut out of drafts. The real magic is in the final section, where you paste in examples of what AI wrote versus what you actually sent. That gap is your voice.
π @hackernewsgithubprojects
Inside Lago Voice Skill: Stop Sounding Like a Robot
Inside Lago Voice Skill is the writing template that actually makes AI sound like you, not a polished robot. Most people assume AI text is just a draft you have to fix, but this repo flips the script by giving you a blank structure to map out your own weird, specific habits. It asks you to list your anti-patterns, your favorite sentence rhythms, and the exact things you cut out of drafts. The real magic is in the final section, where you paste in examples of what AI wrote versus what you actually sent. That gap is your voice.
π @hackernewsgithubprojects
This media is not supported in your browser
VIEW IN TELEGRAM
π¦ harshmandan/svelte-check-native
Svelte check native: 40x faster type checking
Svelte check native is the Rust built type checker that cuts your build time from forty seconds to under one. If you work with Svelte projects, you know the pain of waiting for type checks to finish while you are trying to ship code. This tool rewrites the old JavaScript checker into a single native binary that talks directly to the new TypeScript compiler. It does not just speed things up; it produces exactly the same errors and warnings as the version you already trust, so you can drop it in without changing your workflow.
π° https://news.ycombinator.com/item?id=47844248
π @hackernewsgithubprojects
Svelte check native: 40x faster type checking
Svelte check native is the Rust built type checker that cuts your build time from forty seconds to under one. If you work with Svelte projects, you know the pain of waiting for type checks to finish while you are trying to ship code. This tool rewrites the old JavaScript checker into a single native binary that talks directly to the new TypeScript compiler. It does not just speed things up; it produces exactly the same errors and warnings as the version you already trust, so you can drop it in without changing your workflow.
π° https://news.ycombinator.com/item?id=47844248
π @hackernewsgithubprojects
This media is not supported in your browser
VIEW IN TELEGRAM
π¦ kripner/nanoproof
nanoproof
A tiny, fully open-source system just cracked fifty-two percent of the MiniF2F math benchmark. The project is called nanoproof. It is a lightweight reimplementation of the AlphaProof approach, designed to make automated theorem proving accessible to everyone. Instead of relying on massive, proprietary infrastructure, it runs on standard hardware using a simple Python pipeline. The core engine uses a large language model to suggest proof steps, then verifies them using the Lean theorem prover. It trains through a few clear stages, moving from general math data to specific Lean code. This makes it incredibly easy for researchers to test new ideas without expensive compute clusters.
π @hackernewsgithubprojects
nanoproof
A tiny, fully open-source system just cracked fifty-two percent of the MiniF2F math benchmark. The project is called nanoproof. It is a lightweight reimplementation of the AlphaProof approach, designed to make automated theorem proving accessible to everyone. Instead of relying on massive, proprietary infrastructure, it runs on standard hardware using a simple Python pipeline. The core engine uses a large language model to suggest proof steps, then verifies them using the Lean theorem prover. It trains through a few clear stages, moving from general math data to specific Lean code. This makes it incredibly easy for researchers to test new ideas without expensive compute clusters.
π @hackernewsgithubprojects
This media is not supported in your browser
VIEW IN TELEGRAM
π¦ michele-m-media/hyperhen
HyperHEN: The All-in-One PS5 Toolbox
HyperHEN boots a fully functional Linux distribution directly from a USB stick on a PlayStation 5, a capability that turns your console into a dual-system machine without losing your game data. This open source project acts as an all-in-one toolbox for jailbroken consoles, combining system preparation, cheat management, and a settings interface into a single package. The standout feature is its HyperLinux Boot mode, which performs a clean handoff to a Linux kernel from a prepared drive, isolating it from the main operating system for a stable, isolated experience. It is a practical engineering stack that gives developers and tinkerers deep control over their hardware.
π @hackernewsgithubprojects
HyperHEN: The All-in-One PS5 Toolbox
HyperHEN boots a fully functional Linux distribution directly from a USB stick on a PlayStation 5, a capability that turns your console into a dual-system machine without losing your game data. This open source project acts as an all-in-one toolbox for jailbroken consoles, combining system preparation, cheat management, and a settings interface into a single package. The standout feature is its HyperLinux Boot mode, which performs a clean handoff to a Linux kernel from a prepared drive, isolating it from the main operating system for a stable, isolated experience. It is a practical engineering stack that gives developers and tinkerers deep control over their hardware.
π @hackernewsgithubprojects
Media is too big
VIEW IN TELEGRAM
π¦ antiv/mate
MATE: The Control Center for AI Agents
MATE is the command center that finally stops you from redeploying code just to tweak a prompt. Building one agent is easy, but running a whole team of them for real users is a nightmare of manual commits and invisible costs. This project solves that by giving you a drag-and-drop studio where you can swap models or restructure your agent hierarchy instantly, right from a web dashboard. The coolest part is that it tracks every single dollar spent on tokens, so you actually know what your AI is costing you. No more guessing which model broke your logic.
π @hackernewsgithubprojects
MATE: The Control Center for AI Agents
MATE is the command center that finally stops you from redeploying code just to tweak a prompt. Building one agent is easy, but running a whole team of them for real users is a nightmare of manual commits and invisible costs. This project solves that by giving you a drag-and-drop studio where you can swap models or restructure your agent hierarchy instantly, right from a web dashboard. The coolest part is that it tracks every single dollar spent on tokens, so you actually know what your AI is costing you. No more guessing which model broke your logic.
π @hackernewsgithubprojects
This media is not supported in your browser
VIEW IN TELEGRAM
π¦ justin0504/sovereign-os
Sovereign OS: The AI Boss That Doesn't Overspend
Run a team of AI workers on your own computer without letting them drain your wallet. Sovereign OS treats your AI workforce like a real company, where a simple configuration file acts as the constitution, defining exactly what the agents can do and how much they can spend. Instead of just hoping the AI gets the job done cheaply, the system uses a built-in CFO to approve every single action before it happens. If a task costs too much or fails a quality check, it gets blocked instantly, ensuring your budget stays safe.
π @hackernewsgithubprojects
Sovereign OS: The AI Boss That Doesn't Overspend
Run a team of AI workers on your own computer without letting them drain your wallet. Sovereign OS treats your AI workforce like a real company, where a simple configuration file acts as the constitution, defining exactly what the agents can do and how much they can spend. Instead of just hoping the AI gets the job done cheaply, the system uses a built-in CFO to approve every single action before it happens. If a task costs too much or fails a quality check, it gets blocked instantly, ensuring your budget stays safe.
π @hackernewsgithubprojects
This media is not supported in your browser
VIEW IN TELEGRAM
π¦ jakubkrehel/make-interfaces-feel-better
Make Interfaces Feel Better
Teach your coding assistant to polish your user interface with subtle, professional touches. This repository provides a specialized guide that helps artificial intelligence recognize the tiny details that make software feel expensive and responsive, such as smooth hover effects and precise text spacing. It solves the problem of code that is functional but feels cheap by giving your AI tools specific instructions on animation timing, icon weights, and performance tricks. The most interesting part is how it stops machines from adding distracting motion, ensuring your app feels calm and deliberate.
π @hackernewsgithubprojects
Make Interfaces Feel Better
Teach your coding assistant to polish your user interface with subtle, professional touches. This repository provides a specialized guide that helps artificial intelligence recognize the tiny details that make software feel expensive and responsive, such as smooth hover effects and precise text spacing. It solves the problem of code that is functional but feels cheap by giving your AI tools specific instructions on animation timing, icon weights, and performance tricks. The most interesting part is how it stops machines from adding distracting motion, ensuring your app feels calm and deliberate.
π @hackernewsgithubprojects
This media is not supported in your browser
VIEW IN TELEGRAM
π¦ witt3rd/oh-my-hermes
Oh My Hermes: Let AI Debate Your Code Plan
Orchestrate a team of artificial intelligence agents to plan, build, and verify your software projects without writing a single line yourself. The project called Oh My Hermes solves the problem of single-agent bias by forcing a structured debate between a planner, an architect, and a critic before any code is written. This ensures your plan survives adversarial review. It then executes tasks in isolation, verifying each step with separate agents to catch errors early. You get a built-in quality control system that acts like a real engineering team. It is not just a tool, but a workflow that guarantees your ideas are rigorous.
π @hackernewsgithubprojects
Oh My Hermes: Let AI Debate Your Code Plan
Orchestrate a team of artificial intelligence agents to plan, build, and verify your software projects without writing a single line yourself. The project called Oh My Hermes solves the problem of single-agent bias by forcing a structured debate between a planner, an architect, and a critic before any code is written. This ensures your plan survives adversarial review. It then executes tasks in isolation, verifying each step with separate agents to catch errors early. You get a built-in quality control system that acts like a real engineering team. It is not just a tool, but a workflow that guarantees your ideas are rigorous.
π @hackernewsgithubprojects