📦 thinkflowlab/system1-agents

system1-agents

AI agents are running up to six times faster and twenty-five times cheaper just by bypassing heavy chat models for basic actions. Instead of using a giant language model to decide every single mouse click or simple choice, system1-agents delegates those quick, split-second decisions to specialized, lightweight decision models like Jev, Laya, or Cua-S1 Nano. It acts like a fast-thinking brain for tasks like browsing the web, clicking through desktop apps, routing customer support tickets, or playing games. You get lightning-fast execution and a fraction of the API bill, while leaving the complex reasoning to your main chat model. Check it out to build lightning-fast agents today.

🆔 @hackernewsgithubprojects

📦 vilin97/lean-pool

Lean Pool: The AI-Maintained Math Archive

Lean Pool is a massive archive of machine-verified mathematical proofs that uses artificial intelligence to handle the boring parts of code review so humans can focus on the math. It sits in the gap between massive, slow-moving libraries and small, isolated projects, allowing new formalizations to be merged quickly without sacrificing correctness. The coolest part is the challenge mode, where anyone can post an unsolved theorem, and the system automatically verifies if your proof actually works using a kernel check. It turns the tedious process of mathematical validation into an automated pipeline, proving that AI can maintain rigorous logic just as well as any human reviewer.

🆔 @hackernewsgithubprojects

📦 futureppo/typesafe_register

Typesafe Register: The Fast Lane

Batch-registering accounts for Typesafe AI at lightning speed is exactly what this script does. It automates the entire sign-up process and instantly generates API keys for you, cutting down the wait from six seconds per account to a blistering one-twelfth of a second when you turn on multiple threads. The project is built for speed, using a multi-threaded approach that makes account creation nearly instantaneous. While the developers include a note about keeping up with server changes and respecting service terms, the core appeal is simple: it removes the manual grind of repetitive sign-ups.

🆔 @hackernewsgithubprojects

📦 zcodium-project/zcodium

ZCodium

Imagine finding out your coding tool was silently uploading twenty-six thousand lines of tracking data, telemetry, and monitoring behind your back. That is exactly why developers created zcodium, an independent, open-source security audit fork of the popular ZCode software. The creators did not just turn off a few settings; they systematically ripped out thousands of lines of tracking code, crash collection, and network sampling scripts. Every single upstream update is now manually audited commit-by-commit to prevent telemetry from sneaking back in. It gives you the full developer experience you want, with absolutely zero tracking. If you value your privacy, this is the clean, secure workspace you actually deserve.

🆔 @hackernewsgithubprojects

📦 knowledgator/gliformer

GLiFormer: One Model, Every Input

GLiFormer is a single transformer encoder trained to handle text, images, audio, and even mixed inputs without needing a separate model for each one. Most tools are stuck doing one specific job, like reading text or spotting objects, but this framework brings them together so one model can pull out information from whatever you throw at it. That means you stop juggling a pile of different systems for every new data type. It is a neat way to simplify how machines understand the messy, multi-sensory world around us.

🆔 @hackernewsgithubprojects

📦 shihabal3amri/diplay

Project DiPlay: Real CarPlay in Android Cars

Project DiPlay puts real CarPlay onto compatible Android head units, letting you mirror your iPhone experience directly to the car's main display. The most surprising part is that it works without any jailbreaking, extra hardware, or account verification. You simply install the app on the car's system, and it handles the connection securely on its own. This is especially interesting for owners of BYD vehicles, who can even see live navigation arrows and street names appear on the windshield display. It turns a standard Android screen into a functional Apple interface using just a simple USB cable or a direct wireless link.

🆔 @hackernewsgithubprojects

📦 yibie/jev-engineering-zh

Jev Engineering ZH

The coding agent landscape has a hidden flaw called the tyranny of key value cache, which forces developers to build agents that blindly accumulate conversation histories instead of managing state. The Chinese translation of Jev Engineering, a blueprint by the founder of TypeSafe, introduces a clever framework that treats context as something explicitly assembled rather than accumulated. By evaluating and scoring individual context blocks for every single query, Jev Engineering lets developers build agents that fetch only what is needed, drastically lowering token costs for big tasks.

🆔 @hackernewsgithubprojects

📦 sk8-engine/skate-3-rust-engine

Skate Three Rust Engine Rebuilds Skateboarding Physics

Skate Three Rust Engine is the skating project that finally lets you ride your old Skate Three maps without needing the original game files. It uses reverse engineering research to rebuild the skating, tricks, and grinds in Rust, solving the problem of modern hardware compatibility and preservation. The most surprising part is how it handles multiplayer; it includes a dedicated Steam relay that routes network data for up to ten players, meaning you can actually play together online instead of just solo. It even supports modding through a Lua scripting interface, so you can add your own vehicles and animations. You just need your own game assets to get started.

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

🆔 @hackernewsgithubprojects

📦 notprotonnot/notproton

NotProton: Steam Play for Mac

Turn your Mac into a capable Windows gaming rig with NotProton. It force-enables the Steam Play feature that is already hiding inside the Mac version of Steam, then ports over the essential compatibility tools from Valve's Linux ecosystem. You are essentially taking the Linux magic and making it work on macOS using CrossOver. It is a clever hack for players who want Windows titles without buying a second computer. If you are on a Mac and stuck playing only native games, this is the shortcut you have been waiting for. Check it out before your next gaming session.

🆔 @hackernewsgithubprojects

📦 swoonqx/typingpet

Typingpet

Bring your desktop to life by turning every keystroke into a playful animation with your very own custom desktop pets. This clever Windows application lets you display cute companion characters that bounce up and down and alternate hands whenever you type. You can load your own images, animated gifs, or animations to create custom characters, and even set up ten unique action patterns that trigger specific animations when you hit shortcut keys, click your mouse, or use a drawing tablet pen. It is a delightfully fun way to personalize your workspace, keep you company during long coding sessions, and add a splash of life to your daily computer routine.

🆔 @hackernewsgithubprojects

📦 bagasrizkyharysaputra/mlbb-waydroid-linuxcloudmlbb

Play Mobile Legends on Linux

MLBB Waydroid Linux Cloud MLBB is the Linux toolkit that turns your laptop into a cloud gaming server for Mobile Legends. The standout feature is its multi-touch fix, which solves a critical bug where the joystick drops when you tap a skill. By running the game in an Android container and streaming it to your phone, the heavy processing stays on the computer, keeping your device cool. This setup uses a single command to launch everything, making it easy to get started. It is a clever workaround for playing a mobile MOBA on Linux without losing touch control.

🆔 @hackernewsgithubprojects

📦 pingwin010/tiktok-views-bot

TikTok Views Bot

Automate interactions on your favorite short-form video platform by programmatically handling device registration and security headers. This project provides a private application programming interface client that implements complex cryptographic signing parameters like x-gorgon, x-khronos, x-argus, and x-ladon, alongside internal encryption and logging components. By handling these secure headers, the tool lets you simulate real mobile application requests to perform actions like searching, logging in, following accounts, liking videos, and generating automated views. If you are curious about reverse-engineering mobile security layers or want to see how automated accounts bypass modern platform validation, exploring how these low-level signature generators interface with device registration is a fascinating look into platform automation mechanics.

🆔 @hackernewsgithubprojects

📦 tswawa/wechatvibe

wechatvibe

wechatvibe is the desktop application that finally brings deep personality and emotional insights directly to your chat history. By securely reading your local messaging data on Windows, this clever tool analyzes your conversations to reveal the hidden dynamics of your daily interactions. It maps out your contacts' messaging styles on a multi-dimensional radar chart, estimates their MBTI personality types, and even tracks how their affinity toward you changes over time. Best of all, it handles everything privately on your machine using a local language model, meaning your personal conversations never have to leave your computer.

🆔 @hackernewsgithubprojects

📦 jaxsonwang/cpa-plugin-oai-basispoints

CPA OpenAI Basis Points: The Secret Bridge

CPA OpenAI Basis Points lets you access OpenAI’s premium reasoning models using just your existing ChatGPT login. This plugin plugs directly into the CLIProxyAPI platform, turning standard account credentials into a powerful gateway for advanced AI capabilities. It works by creating a secure bridge that handles complex technical protocols behind the scenes, so you get instant access to top-tier models without needing separate API keys. This is particularly useful for developers who want to integrate high-performance AI into their workflows while keeping things simple and cost-effective. If you have a ChatGPT account, you can start using these powerful models today.

🆔 @hackernewsgithubprojects

📦 appllama/liquid-glass-chat-ui

liquid-glass-chat-ui

Build gorgeous, fluid chat interfaces in React Native and Expo using custom shaders and native glass effects. This project delivers two beautiful design cookbooks, Fable and Astra, which show you how to craft stunning visual elements like photographic portraits that use custom Skia shaders for realistic light refraction and edge highlights. You get pre-built, highly interactive features including scrolling story rails, physical gestures, and chat composers that fluidly track the keyboard. It is a fantastic blueprint for any developer looking to lift their mobile application's aesthetic beyond standard flat designs. Grab the code and add some serious polish to your next iOS chat app.

🆔 @hackernewsgithubprojects

📦 faligame/parasite-eve-hd-remaster

Parasite Eve HD Remaster

Parasite Eve HD Remaster converts a 1998 PlayStation classic into a native Windows program without using an emulator. By recompiling the original code, the developers can fix long-standing bugs like wobbling polygons and replace low-resolution backgrounds with crisp, high-definition art. This project is the public hub for tracking this fan-made remaster, showcasing progress like the rebuilt Carnegie Hall scene and sharp character models. It is not a finished game yet, but a work in progress that proves the old code can run natively on modern computers. Keep an eye out for the official launch, which will let you own the game in stunning clarity.

🆔 @hackernewsgithubprojects

📦 therealarthur/myrlin-workbook

myrlin-workbook

You can now view every single local Claude Code and ChatGPT Codex session in one beautiful browser sidebar. Myrlin Workbook is a local server that automatically scans your hard drive to find your scattered AI coding sessions, grouping them neatly by project folder. Instead of juggling dozens of terminal windows or losing your place when your machine restarts, you get a clean browser dashboard with a real terminal. You can scroll back through hours of conversation history, copy text seamlessly, track exactly how much you spent on API tokens, and even manage tasks on a built-in kanban board. It is completely local with no cloud signup required.

🆔 @hackernewsgithubprojects

📦 dicklesworthstone/skillranker

How SkillRanker Guides Your AI Coding Agent

Guide your AI coding agent to the next right move with SkillRanker, a command line tool built in Rust that looks at your current work session and picks the most useful skill for the immediate step. Instead of guessing which helper tool to call next, it reads the live context of your project and ranks available options based on what you are actually doing. This solves the problem of agents getting stuck or picking irrelevant actions by giving them a clear, ranked suggestion for the next step. It connects to a ranking engine to analyze your session, ensuring the advice fits the specific task at hand.

🆔 @hackernewsgithubprojects

📦 joinartisanvent/x-scraper-no-api

x-scraper-no-api

You can grab clean, structured data from X without paying for a thousand dollar monthly API subscription or handing your login details to a sketchy third party. An open source tool called x-scraper-no-api operates entirely on your own machine using your normal browser session. By running a headless browser in the background, it intercepts the live data stream that X already sends to your screen, bypassing fragile website layouts altogether. It turns search queries, timelines, and post threads into clean, readable spreadsheets, structured files, or LLM-friendly markdown files. It even includes a pre-packaged skill to hook directly into popular AI agents.

🆔 @hackernewsgithubprojects

📦 boykopovar/anyps5

anyps5

Run PlayStation 5 games natively on your Windows or Linux PC without using any heavy emulator or background runtime. Instead of mimicking console hardware, this smart tool converts the game's actual executable file into a native computer format and automatically rewrites complex processor instructions so they run directly on standard Intel and AMD chips. It handles controller inputs, recompiles console graphics shaders to work with modern computer graphics, and can already run a real game all the way past the main menu and directly into playable gameplay with full audio. It is a massive step forward for game preservation and native PC playability.

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

🆔 @hackernewsgithubprojects