Minutiae

Neuro-symbolic AI proof engine. Autonomous mathematical proofs via local LLMs + Lean 4.

Minutiae sits in the Productivity category and is available at perqed.com with freemium (free tier + paid plans) access. Use this page to understand what it claims to do, then open the official site for current plans and limits.