Hacker Newsnew | past | comments | ask | show | jobs | submit | easy_dev's favoriteslogin
1.
Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
783 points by Poudlardo 83 days ago | 191 comments
2.
Show HN: I made a free tool that analyzes SEC filings and posts detailed reports (signalbloom.ai)
292 points by GodelNumbering on April 13, 2025 | 91 comments
3.
Show HN: Browser MCP – Automate your browser using Cursor, Claude, VS Code (browsermcp.io)
616 points by namuorg on April 7, 2025 | 217 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: