peregrine
A desktop tool that brings terminal commands and file browsing together in 1 window.
Loading page
Discover
Filters2
Pricing
Platforms
Open source
Region
Sort by
Loading page
A desktop tool that brings terminal commands and file browsing together in 1 window.
Open-source CAD for drawing 2D plans with familiar commands and automating work with AI agents
An audio editor for multitrack recording and editing that can also delegate work to AI agents.
A CLI that renders JSON editing instructions and HTML and CSS graphics into video.
An autonomous theorem proving tool that connects language model proof search with Lean 4 verification.
