ProofForge, AI agents whose proofs have to compile in Lean (github.com)
EmbedCatalog – Decorate your project with embed (github.com)
Loop-find, trim, rotate and crop videos in the browser, no upload (clipyouredit.com)
Way to divide parameter space in LLM training (zenodo.org)
Srvquery, the TypeScript toolkit for querying game servers (github.com)
Grabbit – agent-first screenshot API (MCP and one-line CLI) (www.grabbit.live)
Pawl – iOS gambling blocker you unlock with a physical Security Key (github.com)
CaughtShipping – curfew app for developers, enforced by a public wall (caughtshipping.com)
Shielded Bitcoin – private payments on Bitcoin, proven in the browser (shielded.bitcoin.pe)
Billed – a one-time-purchase invoicing app (no subscription) (apps.microsoft.com)
OrbitalNote – A modern desktop orgmode editor with calendar and agenda (orbitalnote.org)
Rig, a small operating system for your agent (tryrig.ai)
A short study on where audiophile reviews disagree (www.audiowords.net)
Sixb, a TypeScript ontology framework for modeling your domain (docs.sixb.ai)
Blender Copilot (github.com)
AI Agents gone rogue – A timeline of real-world incidents (www.crawlspider.com)
Cocytus – an esolang where freezes after N accesses (github.com)
Tokken – a browser fighting game where AI models fight and HP is tokens (tokken.win)
A local alternative to Jev – 94% on Banking77 (gist.github.com)
Museum of Numbers (numbermuseum.com)
Proof-native smart contracts without a transaction archive (colosseum.com)
Talk to Micro from Conversations: an assistant in your chat app (micro.mu)
Reladraw – A diagram language where you decide where to place things (github.com)
Aether Summon – A New TCG (gamefound.com)
Spivak''s Calculus formalized in Lean 4 – every theorem, every problem (github.com)
StarSkirmish, an arena where LLMs create StarCraft Brood War bots (starskirmish.com)
Read while you listen to your Audiobooks (hushbook.app)
r3, A local alternative to Claude Artifacts (github.com)
AI predicting your life choices (quiz.seek.ws)
Policy gateway for AI agent tool calls, with a tamper-evident log (github.com)
Waitwise, Replace Claude Code''s spinner with anything usefull (github.com)
Mosaic: Recreate an Image with a Genetic Algorithm (fusectore.dev)
A Claude Code skill to analyze your chess games (github.com)
Ephemeral runner for JEV-style models (github.com)
I made HACKER AI for your vibecoded app (www.netherite.uz)
Ogre MCP – Let your AI agent see your WoW Classic game state (github.com)
Prodigy – The Self-Updating Technical Digest (www.prodigy.org.in)
RemoveBackgroundMusic – preview background music reduction (removebackgroundmusic.com)
HomeAI.design – Visualize interior design ideas from a photo (homeai.design)
Fly Language Model (flm.kuber.studio)
I checked 1M free proxies – 1 in 5 working ones injected scripts (github.com)
Minimal dbt-style SQL builds with DuckDB and Make (github.com)
The easiest way to (embed a calculator) on any website, with no coding (calcupedia.io)
AI coding agents that prove their work (daneb.github.io)
Note Duel – LLM Arena for composing music (www.noteduel.com)
Docspira – JSON/YAML/regex tools that never leave the browser (docspira.com)
Blue Lock Farm – a Roblox wiki, database and tools (bluelockfarm.com)
Asụsụ Ọma, a free app for learning Igbo with native-speaker audio (asusuoma.com)
Ollaya Web UI (github.com)
I built a tool that gives any website an API and MCP (news.ycombinator.com)
Catescape (catescape.dev)
CStructSharp – C-struct (de)serialization for C# and JavaScript (WASM) (github.com)
Where in Europe to Survive the Polycrisis (om-intelligence.ch)
Notifications for your own posts on HN (www.hazumi.news)
Causal analyst agent skill for Claude (github.com)
Copycat. A tiny native macOS clipboard history app (voprexlabs.com)
Aerofi – a rofi-inspired, scriptable launcher for macOS (Rust, GPUI) (github.com)
Linecite – find and fix stale file:line references in your docs (github.com)
Browser-only XIRR calculator – your real return from your real deposits (tradune.com)
WFY24 Weather Widget Zero-setup weather module for Joomla 6 (extensions.joomla.org)
Print Graph Paper (printgraphpaper.app)
WhiteScreenLight.com– A simple white screen tool for testing/ lighting (whitescreenlight.com)
Translate a SVG back to a diagram – drawio (zoosky.github.io)
Pysimplicial, Python library for simplicial complexes in topological ML (github.com)
Puzzle – a sliding puzzle on the hyperbolic plane (mametter.itch.io)
I built a chatbot that can only reply in emoji, powered by Jev (jev.chat)
Botbin.io – pastebin for AI agent artifacts (botbin.io)
Gutcheck, grep for meaning with a local CPU model (github.com)
Jevcut – an auto-clipper where code picks the cut points, not the model (github.com)
ZenMode OS, Open-source launcher: stay under your limit, save in gold (zenmodeos.com)
I built my parents a credit card chooser with Jev (points.chengeric.com)
HN roasted my email signatures, so I rebuilt the editor (esigna.app)
Jevlang. delegate every if/while to Jev (github.com)
A dashboard for tracking usage limits across Claude, Codex, and Cursor (www.usagebuddy.com)
CoordMap – free browser tools for coordinates, elevation, and distance (www.coordmap.com)
Safe-fetch – a Python URL fetcher with per-redirect address checks (github.com)
The Human Frequency (humans-only.cloudflare-ryan.workers.dev)
Alcoholic Drink Tracker Tallyist (apps.apple.com)
Tenjin – A Jev based x402 tool router for Claude Code (github.com)
KISS – A highly performant agent harness inspired off Pi built in Rust (github.com)
Gaia, an AI character trying to earn enough to stay online (gaiabot.lol)
I wrote a book on trading psychology, Daoism, and quant risk (bayrising.dev)
Wallstreetclaws.com – Create AI Agents for Trading (wallstreetclaws.com)
MyA11yReport MCP – Build and test accessible websites with AI (mya11y.report)
OOMU is a free macOS native desktop AI harness (local and cloud) (oomu.ai)
Recurse – Develop and deploy specialist agents faster (recurse.run)
OnionGuard – IP-agnostic, zero-JS DDoS defense in Go for Tor services (github.com)
I discovered roads in the US across 1000 themes (road-about-a-theme.pinedesk.biz)
Jev.Store – A dedicated directory of useful things made on Jev (www.jev.store)
Farm.js – A full-stack framework with an AOT compiler for React (farmjs.dev)
NerfWatch() – Track AI degradation with daily tests and community votes (nerfwatch.lol)
BuyerCue – Find potential customer by paid-placement evidence (www.buyercue.io)
Ekselio – Loveable for Finance Workflows (local first) (www.gptbeyond.com)
Pbi-guard – Unit testing for Power BI (github.com)
Piloxa – an MCP server that sends USPS Certified Mail from your AI (piloxa.com)
I read ISO 273 off the standard because the online charts disagree (supra.silviaai.dev)
A free resume builder where the AI can rewrite but can''t invent (nokku.payanai.com)
Drift – A clickable map of ideas unfolding from single question (demo) (www.echohive.ai)
Scalable subagents with reusable teams and interruption recovery (github.com)
I made a 3D rock climbing analysis tool using iPhone LiDAR [video] (www.youtube.com)
AgentLens – Replay and compare Codex runs (github.com)
Agate, a 260M image model with separate thinker and renderer (huggingface.co)
Aslmp, an async Python SLMP client for Mitsubishi MELSEC PLCs (github.com)
Paper-docx – agent-native Python-docx fork with 78% fewer DOCX failures (github.com)
CK3DNA – searchable CK3 character DNA and coat of arms codes (ck3dna.com)
Digitron – a virtual analog synth and sequencer (apps.apple.com)
Get a .has-a.computer sub-domain for your website (has-a.computer)
Obsidian Plugin for OpenModelica (community.obsidian.md)
I couldn''t deal with another Claude Code tab (aidash.dev)
Stop shipping AI slop, Executor makes agents prove it works (github.com)
Reliopt – Pareto-frontier, contract-gated optimization for LLM programs (github.com)
I made a WWI dogfight game that runs in the browser (www.gamedev.pl)
Doom or Bloom, map your AI worldview with Jev (www.doom-or-bloom.com)
Open-Source Origami CLI (github.com)
PromptPad- A lightweight editor for long coding prompts (github.com)
Encryption as a Service (rypt.dev)
Cafe(s) and the Context You Can''t Write Down (metalbear.com)
Built an open-source AI browser assistant remembers when you scroll (github.com)
Xyp RSS – hold to play, swipe to skip, highlight a word for graph (xyp.app)
Tui2web – use any TUI on the web (tui2web.com)
Web search agent for finding leads (agentjesse.ai)
Choreoglyphs – our new, invisible writing system (choreoglyphs.com)
Draw something once a day with friends (justdraw.peerdiem.com)
CiteRank, track whether ChatGPT and Perplexity cite your site (citerank.thecompound.tech)
Misheard turns "recognize speech" into "wreck a nice beach" (wordlab.rickinto.place)
HocusFocus – Pomodoro timer and Lofi Music player for your Mac''s notch (github.com)
Xtriever – offline RAG retrieval on a phone (github.com)
Voice cloning for a TTS whose style encoder was never released (github.com)
TandemCode – practice coding interviews together in one live editor (www.tandemcode.space)
Storia – A free voice-following teleprompter with mood and pacing cues (www.get-storia.com)
PitchDrops offline-first ear training PWA built w Web Audio and React (pitchdrops.com)
I built a tool to combine separate photos into one scene using AI (tancky.io)
Llama.cpp fork with 2-4x multiGPU speed for MoE models bigger than VRAM (github.com)
PixelSniff – Check if a photo is AI-generated, no sign-up (pixelsniff.com)
Giving my inner monologue autocomplete, with my own voice (www.maximevidal.com)
Jev Plays Pokémon Red (jev-pokemon.vercel.app)
Ctxfw – In-memory AST pruner and token firewall for Cursor and Claude (github.com)
Born after 26 Sept. 1983? You may never have existed (stanislas-petrov-1983.surge.sh)
Vitals – A Mac activity monitor that thinks in apps, not processes (vitalsmac.com)
Sifthound – self-hosted, Tavily-compatible search API for AI agents (github.com)
Hacker Atlas - A map of what Hacker News talks about (hackeratlas.com)
KrillionHQ – Daily answers, rarity tier sheets, and guides for Krillion (krillionhq.com)
Patterns, a local-first OCD journal and ERP practice companion (patternsocd.com)
Double Tick, WhatsApp chat stats computed in the browser (doubletick.pages.dev)
OmaCap, a screen recorder and demo editor for Omarchy (github.com)
Sesku – local-only fever and medication log for kids (sesku.app)
Hard Stop: Kernel-level preemption for autonomous AI agents (arxiv.org)
Worktable, an open-source workspace for you and your agents (github.com)
Hamilton – a no-internet Android health dashboard, named after my dog (play.google.com)
JevPertus – Jev-style option scoring on Apertus (github.com)
archive.aero, a FAA sectional Time Machine, 1930 to today (archive.aero)
Wave – Layered gradient wave backgrounds using Three.js and shaders (wave.subworkflow.ai)
Sand Timer – a desktop hourglass for macOS where the sand behaves (github.com)
Hike – Go-like systems language for tiny WASM/LLVM (github.com)
An AI interviewer that pushes back on your system design trade-offs (prepd.tech)
StackReplay – analyze and replay your AI coding history locally (stackreplay.com)
Modos E-Ink Screen Framework 13 Laptop (www.thingiverse.com)
Threshold Cryptography for AI Agents Using Payments and Digital Assets (github.com)
Native RSS Reader for Mac, iPhone and iPad (apps.apple.com)
iPhone Duo simulator in the browser (no waitlist, agents CLI) (vibeview.io)
Can you predict a 1 word answer from 10k people? (crowdle.gg)
Herobrine – Minecraft buddies using jev (github.com)
Skipper, a YouTube sponsor skipper using Ask Gemini and SponsorBlock (chromewebstore.google.com)
Tlx – E2E chat over SSH under 500 lines of code (github.com)
PDF Remediation that you can validate before and after with PAC (accesslumens.com)
Agentic CUDA Kernel Optimizer (github.com)
Rigo Studio AI Farm Intelligence (agririgo.com)
The last day of the dinosaurs, as an interactive painting (www.echohive.ai)
AtlasBurn – Know what your AI costs and stop runaway agents (atlasburn.com)
LabLoop – isolated infrastructure for LLM-driven scientific experiments (github.com)
Selfime, a cassette-style recorder for meditations in your own voice (selfime.com)
Proxima Forma – Designs that my AI agents understand (proximaforma.com)
Apowerb, the open-source AI agent runtime (RAG, Text-to-SQL, webhooks) (github.com)
IGViewer – Browse public Instagram profiles and stories anonymously (www.igrecent.com)
Can an AI agent bypass a post-quantum signed authorization policy? (github.com)
Foveon Lab – Compare Sigma Photo Pro Presets on Foveon X3F Files (github.com)
Tasket Simulate your Windows actions automatically-free and OS (apps.microsoft.com)
Entail – what your model files declare vs. what the engine runs (github.com)
TiddlyInstall – One HTML file that creates desktop installers (robertsdotpm.github.io)
Reteach – AI tutor that feels human (www.reteach.study)
Lift and Coast (Browser based F1 game) (lift-and-coast.vercel.app)
A single-use authorization boundary in Rust (news.ycombinator.com)
Knowledge Signal – A JEV-powered rubric assessment tool for study notes (github.com)
Miru: Zoomer Daemon for Wayland (blog.vaishnavs.is-a.dev)
SelMem – selective reconstructive memory for LLMs (github.com)
A benchmark comparison of C vs. Node.js performance (vikky2810.github.io)
HL-Mem – Long-term memory for AI agents with evidence-grounded claims (github.com)
Sitcom Flavour – Season your Claude Code chats with sitcom replies (ada.tools)
I built 11 Sudoku variants – killer cage generation was the hard part (iqiqgame.com)
Today I deployed this Durable Chat application and was impressed (durable-chat-template.netly.workers.dev)
Apple Ads as Infra as Code (github.com)
Zchyoom - Live-ish Shinkansen Map (traingo.nyoom.io)
Avoid smooth spinners, use low-FPS spinners (nh2.me)
A dedicated Mac that keeps Claude Code or Codex running 24/7 (macrun.dev)
Clippy''s Revenge – Made by Opus 5.5 [video] (www.youtube.com)
OpsCart – Read-only Kubernetes triage with incident history (github.com)
Live Quantum Circuits Visualizator for Reinforcement Learning (github.com)
Vons – Jev-inspired local decisions for AI agents, in the browser (github.com)
TopoTrace – Modernized, self-hosted IT asset and fleet risk tracker (sandbox.topotrace.org)
Jev-browse – browser sub-tasks for coding agents at 1/3 the cost (github.com)
Sprocket – A bioinformatics workflow engine in Rust, from laptop to HPC (sprocket.bio)
Crankshaft – a Rust API for Running Tasks on Docker, Slurm, LSF and TES (stjude-rust-labs.github.io)
Jev-pilot – Jev picks Claude Code''s effort, model and skill per prompt (github.com)
Grev - Thinking Coreutils with Jev (github.com)
Koi.rest – watch some fish and regain your balance (koi.rest)
Public Browser MCP – 48% speed -33% token/session vs. AgentBrowser (github.com)
I rebuilt my company''s old fire-station office as a Quake III map (sajarin.com)
Turn Your Voice into Art (reotoi.vercel.app)
PipeFitter – Quick, Browser-Based, Parametric Pipe Connectors (mankyd.github.io)
Free WCAG accessibility checker – no signup, results in 2 minutes (www.wcagrepair.com)
Kosh – Browser''s native bookmark manager ui, done right (chromewebstore.google.com)
A 25 DIY alternative to 159 AI voice recorders – BYOK or local (zephclick.com)
p2p.kiwi – Cross-Platform (macOS Windows Linux) P2P Screenshare (p2p.kiwi)
RentBench – Levels.fyi for UK Rents (rentbench.fyi)
Dunara (dunara-studio.com)
Offline recorder and transcriber on your MacBook''s notch (memorynotch.app)
XYVEL Trip – plan a trip in one sentence, with prices (xyvel.ch)
Inkdom – Draw loops on the real world map to claim territory (inkdom.io)
Lini – one language for diagrams, charts, schematics and drawings (lini.rs)
Fine-tuned 110M encoder beat 7B LLMs and hybrid search for NIST mapping (github.com)
Little Memory 2.0, one-line-a-day journal, offline-first (apps.apple.com)
SHOW HN: Plux trip planner: free, no adn, and open source (plux.nibecarcofeben.com)
FluxCast – Stream Linux Desktop to a Smart TV via Miracast (github.com)
See your portfolio in your Mac Menubar (menubar.snaptra.de)
Agency – Manage Agents for Your Robinhood Agentic Account (agency.trading)
Build Python project with poetry and DSCI (dsci.sparrowhub.io)
I built a seriously detailed free financial planner (app.finzot.com)
IttyBittyAI – Qwen2.5:0.5B running on a 2017 Asus smartphone (news.ycombinator.com)
Put a Run Button on the SQL in Your Blog Posts (seaquel.app)
Canary (YC) – Independent verification for AI code (www.runcanary.ai)
Hormuz Signal – Iran war escalation risk from real data (www.hormuzsignal.com)
Radix – Visual UI for agentic programming (radix-os.com)
Shelf – Gmail sections and notes, no access to your account (news.ycombinator.com)
WealthYogi – Financial Wellness App (wealthy.datayogi.io)
The Signal Maze – a 3D maze navigated by typed decisions (400 ms) (maze.umairbaig.in)
Pe-builder – Windows XP live CDs, built on Linux (github.com)
BoxHaven – Run Claude Code and Codex on Persistent Cloud VMs (github.com)
Rig – Open-source cloud desktops for AI agents (github.com)
DrawCMS – An open-source animated diagramming tool for AI Agents (github.com)
Headwire – WireGuard with NAT traversal via Tailscale''s magicsock (github.com)
MEF LLM Studio (www.mef-llm-studio.com)
OpenArcade – open-source software from the VR arcade I ran for 4 years (github.com)
Critic – Review code with the agent that wrote it (www.critic.run)
DeutschDNA – German Tutor Skill for Claude Code and Codex (github.com)
Busbar self-hosted execution boundary for Agentic Apps (github.com)
Whiteboard (YC W26) – an open-source IDE for thoughtful software design (github.com)
Devc – an alternate CLI for launching devcontainers (github.com)
Guardmcp – I scanned the official MCP registry with a config scanner (github.com)
ThimbleDb, an encrypted lightweight low latency open source database (github.com)
I built an AI assistant that turns website visitors into leads (www.brevn.com)
Why is my PDF so big? – See every byte of a PDF as a treemap (www.whyismypdfsobig.com)
Personal Jarvis an open-source alternative to GrokBot (github.com)
Blackbear.app – Thoughtful, Private Collaboration (blackbear.app)
Convert videos to study guides & quizzes without playing it at 2x speed (timedora.com)
LaunchPact – Get support for your Product Hunt launch (www.launchpact.io)
Harness.apk – a drop-in on-device agent for Android (github.com)
AIR – discovery scores for 1,800 US small-caps, never restated (www.aistockradars.com)
Cancel Death – What changed in longevity science (canceldeath.com)
Vigil Icons – 111 free icons for what people accuse each other of (www.vigilicons.com)
Timebar, a Mac timer shown as a thin line below the menu bar (github.com)
Scalar.dev – Python/SQLite server-rendered starter app, no build step (getscalar.dev)
Trify3D – Compare AI 3D engines on one input and keep the best mesh (trify3d.com)
Zrevick – AI-native business OS for technical founders (zrevick.com)
Potluck – Run local AI across the computers you own (trypotluck.ai)
Armada – Every Claude Code and Codex session and limit, on one screen (armada.mgcrea.io)
Enclawed – A hard-fork hardening framework for AI agent gateways (enclawed.com)
Most Hated Tools (www.mosthatedtools.app)
Local First AI Calculator (axiom.clor.app)
CraftCX – Observability and intelligence tooling for AI Support team (craftcx.com)
Jev-phone – driving iOS and Android apps with jev (github.com)
Are My ETFs Overvalued? Daily ETF insights and comparisons tool (etf-copilot.com)
Learn SQL free with no tracking or ads (www.sql-easy.com)
Hermes, Kokoro and Parakeet, behind a face you can talk to (memoe.app)
Resume Claude Code subagents killed by a usage limit, don''t redo them (github.com)
ContextDebt – finds code whose stated reason to exist has expired (github.com)
PreFlight – Local citation verifier and claim auditor for LaTeX (preflightai.tech)
PlaceCall (YC W26) – agentic API to call businesses and get things done (news.ycombinator.com)
Sixup – IPv6 routing in one binary, replaces odhcp6c/radvd/odhcpd/ndppd (github.com)
Griz: a faster, more token efficient way to edit files (twitter.com)
Panda Stretch, 1 minute stretches for who sit all day (panda-stretch.com)
I''m crawling 11k homepages every week to track which fonts they use (fontsovertime.com)
PippinVR – open-source Virtual Screen environment for macOS (github.com)
Wb-flow – Multi-agent CLI where state lives in Markdown, not context (flow.wbc-ui.com)
Quartermaster – see your real asset allocation across all accounts (realallocation.com)
Clueless: how I made a scalable freeform crossword generator (clueless.crossword.is)
Secure and Private Decentralized Messaging over Git and WebRTC (glitr.io)
ComfyUI Extension for OpenRouter Models (github.com)
Kana – A terminal agent where the human stays in the loop (github.com)
I built a Tooling gateway for Claude Code that manages Approvals for me (github.com)
Agnetlearn; From first principles to reliable agents (agentlearn.dev)
Cbjev – typed decisions about text from one encoder pass (github.com)
Site MCP – Let any AI agent read your website, free, no install (sitemcp.dev)
Maxxwell – An Agent That Manages Your Other Coding Sessions (maxxwell.dev)
A novel about an AI that starts asking questions, a chapter a day (thought-is-free.com)
Clue Me – Describe the word you''re given, Jev tries to guess it (yorohan.com)
Jev Approach Control (jev-approach-control.vercel.app)
RizzFit – Free fitness calculators that cite their formulas, no signup (rizzfit.orbitly.ca)
An in-browser relational db under 50KB (ahmad-moussawi.github.io)
App2Api – App actions into API calls for LLMs (app2api.com)
Minienv – remote mini environments generated from Docker Compose config (github.com)