Hacker News
news.ycombinator.com

Links for the intellectually curious, ranked by readers.

Follow all of news.ycombinator.com →

Show HN: Ensemble Prover - Open-Source Python Autonomous Theorem Prover

graviterra/ensemble-proverHN
Read on Scour →
Feeds

Show HN: A Context Registry for AI coding agents

API Context MarketplaceHN
Read on Scour →
Feeds

Show HN: Ardent, a code-first agent for non-engineering work

Ardent AIHN
Read on Scour →
Feeds

Show HN: A searchable, timestamped index of 1,124 AI Engineer talks

aietalks.comHN
Read on Scour →
Feeds

Show HN: Instantly get the transcript from the agent that wrote any line of code

ctxrs/ctxHN
Read on Scour →
Feeds

How are you authorizing AI agents that call MCP servers?

KeydrisHN26 min read
Read on Scour →
Feeds

Show HN: A benchmark for flight search intent

fjmatrix.github.ioHN1 min read
Read on Scour →
Feeds

Show HN: Triplox, a distributed Datalog engine with incremental queries

fiv0/triploxHN
Read on Scour →
Feeds

Show HN: Royalty free UI avatars for Figma/React

Radian UIHN6 min read
Read on Scour →
Feeds

Show HN: I built my first MCP to manage Google Ads

adchestra.comHN3 min read
Read on Scour →
Feeds

Policy enforcement for browser AI and coding agents

oconeeruntime.comHN8 min read
Read on Scour →
Feeds

Show HN: Play Hide and Seek vs. a Self-Improving Agent Using WebMCP

lightcone-webmcp.netlify.appHN
Read on Scour →
Feeds

Show HN: Compute.cheap – the cheapest H100/H200 compute in the world

compute.cheapHN21 min read
Read on Scour →
Feeds

Show HN: Redactle LLM Leaderboard

redactle.netHN10 min read
Read on Scour →
Feeds

Show HN: Every AI agrees with you. This writes your startup's obituary instead

THEYFELLHN3 min read
Read on Scour →
Feeds

Find out how much value your GH repos have- or buy one

cinderella.fyiHN21 min read
Read on Scour →
Feeds

Show HN: Codeknow – Architecture health scores for any codebase, no LLM needed

asalsali/codeknowHN
Read on Scour →
Feeds

themartiano/try-omarchy: Try Omarchy on Apple Silicon without any setup. · GitHub

themartiano/try-omarchyHN22 min read
Read on Scour →
Feeds

Show HN: AQ – A multiplayer workspace for coding agents on your own cloud

aq.devHN3 min read
Read on Scour →
Feeds

Show HN: G3M – MCP server for physical outbound

g3m.coHN
Read on Scour →
Feeds

Keyboard shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post actions

Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help