If you're looking for a way to manage virtual machines on Linux and even do it remotely, Cockpit is what you want.

Theorem raises $6 million to use AI-powered formal verification to mathematically prove AI-generated code is safe before it's deployed in critical systems.

Designed to autonomously resolve help desk tickets, Risotto has raised $10 million in seed funding in a round led by Bonfire Ventures.

Prism helps you draft papers, source contextualized references, and more - just don't delegate your research to it.