If you are looking to bridge the gap between sketching geometry and seeing the underlying algebra, Geometry Expressions
: Instead of constructing a figure step-by-step (e.g., "draw a circle, then a tangent"), you can simply sketch objects and apply constraints like distance geometry expressions download
Saltire Software is the official developer and distributor of Geometry Expressions. As of 2024-2025, the software is available for both and macOS . Unfortunately, there is no native Linux version, but Linux users can often run the Windows version via Wine. If you are looking to bridge the gap