frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

Open in hackernews

Show HN: Carrot MCP – AI PM and QA that writes specs and audits AI code

https://github.com/talvinder/carrot-ai-pm
2•talvinder•1d ago

Comments

talvinder•1d ago
Carrot AI PM is an open-source MCP server that lives inside Cursor and closes the gap between “prompt” and production-ready code.

• Generates structured, enforceable specs (OpenAPI, UI, DB, CLI)

• Runs AST-level checks to verify the AI implementation matches the spec

• Flags skipped validation, missing auth, hallucinated functions, etc.

• Stores every result (.carrot/compliance/*) for audit trails and trend tracking

• 100 % local – Carrot never calls external APIs; it just uses Cursor’s internal LLM hook

Quick start: git clone https://github.com/talvinder/carrot-ai-pm npm install && npm run build # add to .cursor/mcp.json, then chat: # “Create spec for X → implement → check implementation”

Example output: endpoints match missing rate-limit on POST /login undefined fn: sendWelcomeEmail()

I built it after years of watching markdown specs drift. Edge-cases, bugs, and PRs welcome → https://github.com/talvinder/carrot-ai-pm/issues

What went wrong with <random>? [pdf]

https://codingnest.com/files/What%20Went%20Wrong%20With%20_random__.pdf
1•agluszak•2m ago•0 comments

How to write mathematics. (1973) [pdf]

https://sites.math.washington.edu/~lind/Resources/Halmos.pdf
1•fanf2•13m ago•0 comments

Create videos with your words for free – Introducing Bing Video Creator

https://blogs.bing.com/search/June-2025/Introducing-Bing-Video-Creator
1•miles•13m ago•0 comments

AI Killed the AI Engineer

https://bloop.ai/blog/ai-killed-the-ai-engineer
1•sebg•15m ago•0 comments

Unison Lang: A big idea of content-addressed code

https://www.unison-lang.org/docs/the-big-idea/
1•anhldbk•19m ago•0 comments

Unreal Engine 5.6 Tech Demo: The Witcher 4

https://www.youtube.com/watch?v=FJtF3wzPSrY
1•fork-bomber•19m ago•0 comments

World won't forget Tiananmen Square, US and Taiwan say

https://www.theguardian.com/world/2025/jun/04/world-wont-forget-tiananmen-square-us-and-taiwan-say-on-36th-anniversary-of-massacre
1•suraci•21m ago•0 comments

Cloud Run GPUs, now GA, makes running AI workloads easier for everyone

https://cloud.google.com/blog/products/serverless/cloud-run-gpus-are-now-generally-available
1•mariuz•26m ago•0 comments

Timeline of the Far Future

https://en.wikipedia.org/wiki/Timeline_of_the_far_future
1•sebg•29m ago•0 comments

Click-V: A RISC-V emulator built with ClickHouse SQL

https://github.com/SpencerTorres/Click-V
2•calcifer•31m ago•0 comments

A Start-to-Finish Literature Review Workflow (2018)

https://kimberlyhirsh.com/2018/06/29/a-starttofinish-literature.html
1•Tomte•31m ago•0 comments

Rewrite OS without C why, how, and when?

https://gizvault.com/archives/rewrite-os-without-c-why-how-and-when
2•ricecat•33m ago•0 comments

Why I Use a Dumbphone in 2025 (and Why You Should Too)

https://samueleamato.xyz/2025/06/04/why-i-use-a-dumbphone.html
2•rd_wei•34m ago•0 comments

Unbundling Tools for Thought (2022)

https://borretti.me/article/unbundling-tools-for-thought
1•Tomte•36m ago•0 comments

Limit Order Book Event Stream Prediction with Diffusion Model

https://arxiv.org/abs/2412.09631
1•wertyk•37m ago•0 comments

Show HN: LangFlick – TikTok but for Language Learning

https://apps.apple.com/us/app/langflick/id6746555698
1•ahmetomer•40m ago•0 comments

S1

https://openaudio.com/blogs/s1
5•robertvc•45m ago•0 comments

Ukraine war spurred infosec vet Mikko Hyppönen to pivot to drones

https://www.theregister.com/2025/06/04/mikko_hypponen_drone/
3•sohkamyung•45m ago•1 comments

Show HN: I made a directory to find MVP builders instantly

https://www.easymvp.io/
1•Prarthana2802•45m ago•0 comments

The book with a multiplayer first-person shooter inside [video]

https://www.youtube.com/watch?v=8SiUnqMJEVU
1•nxobject•46m ago•0 comments

The Core of Fermat's Last Theorem Just Got Superpowered

https://www.quantamagazine.org/the-core-of-fermats-last-theorem-just-got-superpowered-20250602/
1•isaacfrond•50m ago•0 comments

Swarc: SIMD Within A Register C (1998)

https://aggregate.ece.engr.uky.edu/SWAR/Swarc/Scc.html
1•abhi9u•51m ago•0 comments

A Business Card Which Is a FPGA Dev Board

https://www.hackster.io/pzeno/fpga-based-e-paper-business-card-9bb5e0
1•signalhound•52m ago•0 comments

Ask HN: Programmer's Best Years

2•TheAlchemist•56m ago•2 comments

I built a WAF in Go with much higher detection rate than CF (Free)

https://github.com/chaitin/SafeLine
1•Carriethebest•56m ago•0 comments

Frothy Tech Returns Helped Mint an Extra 600,000Maires in 2024

https://www.bloomberg.com/news/articles/2025-06-04/frothy-tech-returns-helped-mint-an-extra-600-000-millionaires-in-2024
1•helsinkiandrew•58m ago•1 comments

Adobe finally releases Photoshop for Android, and it's free (for now)

https://arstechnica.com/gadgets/2025/06/adobe-finally-releases-photoshop-for-android-and-its-free-for-now/
1•Brajeshwar•59m ago•0 comments

Apple Appeals EU's March Ruling on 'Interoperability' Requirements Under the DMA

https://daringfireball.net/2025/06/apple_appeals_eu_interop_requirements
2•bryanrasmussen•1h ago•2 comments

Show HN: Modern and Simple time-off management app

https://saturnai.app/
1•danesto•1h ago•0 comments

Surface Laptop 13in review: Microsoft's cheaper, more compact Windows 11 machine

https://www.theguardian.com/technology/2025/jun/04/surface-laptop-13in-windows-11-ai-notebook-review
2•tosh•1h ago•0 comments