
cadcraft
Open-source CAD for drawing 2D plans with familiar commands and automating work with AI agents
Loading page

Open-source CAD for drawing 2D plans with familiar commands and automating work with AI agents

A local-first inbox for results and pending decisions from long-running AI tasks

A browser tool for building FFmpeg commands by choosing presets and codecs.

A free, open-source database for importing, analyzing, and exploring your chess games.

An autonomous theorem proving tool that connects language model proof search with Lean 4 verification.