Proof Companion – Geometry proof practice for students

In plain words

Proof Companion is a geometry proof practice tool designed for students learning to write mathematical proofs. Launched in 2017, the platform helps users work through geometry problems by guiding them through the proof-writing process. It targets high school and early college students who need practice with formal geometric reasoning and proof construction. The tool focuses specifically on the mechanics of proof writing rather than general math tutoring.

written from the facts on this page · September 2026

• 
  Provector2023 · start.provector.app · ▲166

  A free yet powerful online vector graphics editor

• 
  Penmentor – Claude marks up your handwritten math like a teacher3d ago · github.com · ▲66

  AI mentor that reads your math. Contribute to AbdullahAlhariri/penmentor development by creating an account on GitHub.

• 
  Type Study Buddy2020 · figma.com · ▲99

  A hopefully helpful Figma file for conducting type studies.

• 
  Formally verified polygon intersection – Opus 4.8 oneshots, prev failedJun 2026 · github.com · ▲93

  To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps. Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM. Also check out the web demo built around the verified core linked in…

• 
  Mathup – A simple MathML authoring tool2020 · runarberg.github.io · ▲32
• 
  Proofr2019 · ▲34

  Specialized proofreading for online content creators.

• 
  SimCity, but with Permits▲930

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 3d ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 15d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 16d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 10d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 14d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 24d ago · space.bl2.net

• 
  Muzzle▲1,120

  Silence embarrassing notifications while screensharing

  Life & fun · 2017 · muzzleapp.com

• 
  Real Pitch Decks From 40+ Top Startups▲935

  A collection of startup pitch decks that raised $1.4 Billion

  Commerce · 2017 · dconstrct.com

• 
  Spotify.me▲891

  Beautiful analytics on your Spotify listening habits 🎧

  Life & fun · 2017 · open.spotify.com

• 
  Abstract▲837

  Design collaboration without the chaos

  Dev tools · 2017 · abstract.com

• 
  Hoodmaps▲792

  Crowdsourced neighborhood 🗺 maps to navigate a city 💫

  Life & fun · 2017 · hoodmaps.com

• 
  Hire, by Google▲684

  A new service for helping businesses recruit

  Work · 2017 · hire.google.com