frontpage.

Hey HN! Dev here. I built PHAROS, an open-source CLI package manager for MCP servers. Think npm, but for MCP.

What it does: - Search across all MCP registries in one place - Install servers with dependency resolution and lockfiles - Audit installed servers against known vulnerabilities - Import your existing MCP client configs - Publish your own servers

Single Go binary, no runtime deps. macOS, Linux, Windows. MIT licensed. There is a second repo for the Agent SDK it has MCP/MCP-Apps server for empowering AI agents.

Install: `curl -fsSL getpharos.dev/install | sh` or Install: 'irm https://getpharos.dev/install.ps1 | iex'

Happy to chat about the architecture or how the CLI or MCP and SDK work. Let me know if you have questions, comments, or feature requests!

Warnings sent to French taxpayers after hackers allegedly sell stolen data

Do Not Talk About LLMs

Claude Driving the Browser == Bad [video]

Rust Is a Harness

"Elon Musk Is a Sad Little Bitch with No Friends" Monument Design Committee

Unless Flock Is Reined In, Mass Video Surveillance Will Grow More Pervasive

Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens

Blocking LinkedIn extension fingerprinting with a bit of JavaScript

Show HN: Idea Miner – find what to build next, backed by real paid demand

Secret tracking device placed in rare book ends up in Amazon processing

An immediate mode UI (Shirei) retains component identity and state

Idem – open-source ledger for stablecoin cross-border payments (Kotlin, FSL)

Google Just Made It Easier for Campaigns to Send You Fund-Raising Emails

Automating quality support at scale: AI and human in the loop

Proofs Promptly: Proof-Oriented Programming with AI Agents (Experience Report)

The Mathematics of Economic Self-Destruction: Inside the "AI Layoff Trap"

Ask HN: If you didn't know how to program, would you learn?

Humans aren't the only animals that seem to like having pets

Seeing Circles, Sines, and Signals

Linoleic acid–good or bad for the brain? – npj Science of Food

Mojo compiler has been open-sourced

Are Beavers Actually Good at Dams?

Portland Entrepreneurs in the Age of AI Ep. 1 [video]

Doom on a C64

Measuring how much of the sky is visible

U.S. Navy destroyer lost power for 4 days in South China Sea

Show HN: AI Games Prompt Atlas: a map of the games people ask to build

EC2's "isolation engine" provides mathematical assurance of VM isolation

Show HN: Pemdash - A small calculator overlay with proper operator precedence

AMD Instinct Coder

Show HN: Pharos – A package manager for MCP servers (like NPM, but for MCP)