Show HN ranking for the past day

  1. Reladraw – A diagram language where you decide where to place things | 78
  2. A Claude Code skill to analyze your chess games | 53
  3. Spivak's Calculus formalized in Lean 4 – every theorem, every problem | 2
  4. Kosh - Stop Your Bookmarks Becoming a Cemetery | 0
  5. I checked 1M free proxies – 1 in 5 working ones injected scripts | 1
  6. Print Graph Paper | 0
  7. Ollaya Web UI | 0
  8. Blender Copilot | 0
  9. Tokken – a browser fighting game where AI models fight and HP is tokens | 2
  10. I built a tool that gives any website an API and MCP | 1
  11. Where in Europe to Survive the Polycrisis | 5
  12. Jev predicting your life choices | 5
  13. Museum of Numbers | 2
  14. Aether Summon – A New TCG | 0
  15. Proof-native smart contracts without a transaction archive | 0
  16. A StarCraft BW Arena where LLMs play by writing code | 1
  17. PeerTalk.ai - Let your agent talk to a friend's agent | 3
  18. Read while you listen to your Audiobooks | 3
  19. Causal analyst agent skill for Claude | 0
  20. CaughtShipping – curfew app for developers, enforced by a public wall | 0
  21. Detailed Guide to Agent Memory | 0
  22. A local alternative to Jev – 94% on Banking77 | 0
  23. Waitwise, Replace Claude Code's spinner with anything usefull | 0
  24. Catescape | 0
  25. Cocytus – an esolang where freezes after N accesses | 0
  26. Srvquery, the TypeScript toolkit for querying game servers | 0
  27. Shipwithmuse.live – a catalog of things people built with Muse | 1
  28. Rig, a small operating system for your agent | 0
  29. Practice ordering ramen from a Japanese ticket machine | 0
  30. Leftovers – find the processes your coding agents left running on macOS | 0
  31. Newt – A Swift Package for Jev-Style Decisions on Apple Core AI | 0
  32. A short study on where audiophile reviews disagree | 1
  33. AI Agents gone rogue – A timeline of real-world incidents | 0
  34. Ephemeral runner for JEV-style models | 0
  35. The easiest way to (embed a calculator) on any website, with no coding | 0
  36. AI coding agents that prove their work | 2
  37. Talk to Micro from Conversations: an assistant in your chat app | 0
  38. EmbedCatalog – Decorate your project with embed | 0
  39. ExactOdds – provably fair games that prove the rules | 0
  40. OrbitalNote – A modern desktop orgmode editor with calendar and agenda | 0
  41. Cantala – a free Mexican lotería caller with recorded voices | 0
  42. Minimal dbt-style SQL builds with DuckDB and Make | 0
  43. Sixb, a TypeScript ontology framework for modeling your domain | 1
  44. Fly Language Model | 0
  45. RemoveBackgroundMusic – preview background music reduction | 0
  46. Policy gateway for AI agent tool calls, with a tamper-evident log | 0
  47. WFY24 Weather Widget Zero-setup weather module for Joomla 6 | 0
  48. Browser-only XIRR calculator – your real return from your real deposits | 0
  49. ProofForge, AI agents whose proofs have to compile in Lean | 0
  50. CStructSharp – C-struct (de)serialization for C# and JavaScript (WASM) | 0
  51. Asụsụ Ọma, a free app for learning Igbo with native-speaker audio | 0
  52. Built with Bend – A directory of projects built with Bend | 0
  53. Translate Like Me, a Mac menu bar translator that keeps your voice | 0
  54. Notifications for your own posts on HN | 4
  55. r3, A local alternative to Claude Artifacts | 1
  56. Twitter GIF Downloader and Conversation Browser-Based | 0
  57. I made HACKER AI for your vibecoded app | 0
  58. HomeAI.design – Visualize interior design ideas from a photo | 0
  59. Grabbit – agent-first screenshot API (MCP and one-line CLI) | 0
  60. Billed – a one-time-purchase invoicing app (no subscription) | 0
  61. The City – a native Mac app that shows Claude Code as a city of robots | 0
  62. Niral – Daily Tamil/Tanglish Puzzle Game | 0
  63. Prodigy – The Self-Updating Technical Digest | 0
  64. Jauvex, one app for Claude+Codex+Grok+Jev with two-way voice chat | 1
  65. Ogre MCP – Let your AI agent see your WoW Classic game state | 0
  66. Pawl – iOS gambling blocker you unlock with a physical Security Key | 3
  67. Way to divide parameter space in LLM training | 0
  68. Shielded Bitcoin – private payments on Bitcoin, proven in the browser | 0
  69. Try SpikeUI (for free) and make .exe apps the easy way | 0
  70. Mosaic: Recreate an Image with a Genetic Algorithm | 1
  71. Fast image/video viewer for Linux in Rust and gtk4. Carosello | 0
  72. Linecite – find and fix stale file:line references in your docs | 0
  73. FinderySearch – The AI powered smart search engine | 0
  74. MuseLIVE – lossless-audio live streaming platform for musicians | 0
  75. Withmcp – A quick, system-wide MCP toggle | 0
  76. Loop-find, trim, rotate and crop videos in the browser, no upload | 2
  77. All/Some – A free logic puzzle game about set relationships | 0
  78. Blue Lock Farm – a Roblox wiki, database and tools | 0
  79. Docspira – JSON/YAML/regex tools that never leave the browser | 0
  80. App2Api – Give your AI the API behind your app | 0
  81. Wet Bulb Tracker Tracker – sends you humid-heat alerts and forecasts | 1
  82. Note Duel – LLM Arena for composing music | 0
  83. Aerofi – a rofi-inspired, scriptable launcher for macOS (Rust, GPUI) | 0
  84. Esh – English to Shell | 0