Show HN: Cua-Bench – a benchmark for AI agents in GUI environments(github.com)29 points by someguy101010 9 months ago | 6 comments
Show HN: Talos – Open-source WASM interpreter for Lean(github.com)78 points by mfornet 4 months ago | 20 comments
LangManus: An Open-Source Manus Agent with LangChain + LangGraph(github.com)105 points by gfortaine 1 year ago | 11 comments
Show HN: Drive any macOS app in the background without stealing the cursor(github.com)158 points by frabonacci 6 months ago | 37 comments
Show HN: Kontext CLI – Credential broker for AI coding agents in Go(github.com)68 points by mc-serious 6 months ago | 27 comments
LNAI – Define AI coding tool configs once, sync to Claude, Cursor, Codex, etc.(github.com)55 points by iamkrystian17 8 months ago | 26 comments