Aristotle API

New Project History Aristotle CLI Docs

              $$$$$$$@@@@@$
           $###**********###$$$$@@@$
        ##***!==!!==!!!**###$$$$$$$#
       ##**!==!=----;;-;=!**##$$$$$$$#
      *##!!==;;~---~--~~;;-!!*##$$$$$$$#!
     *##*!!=;~-,,,....,-:;;!!*##$$$$$$$#!
    !###**!=::,,........-:;=!******$####*
   -####**=;~-....      .,;=!!*********;;
   *##$$$##!=~..        ~;!**##########!=
   :*$$$$$$*!;          ~;!!***########!=
   ;*$$@@@$$#*;        ;=!**************!!;
   :!*$$$@@@@$$#*!==!!*!****###########!!!=
   :=*##$$$@@@@$$$##############*******!!=;
    ;!*#######$$$################!!!==--;
    ~-=!*#####################!!*!!==;;
     ~;!=!!**************!!!!!!==;;;~
       :;!!****###!*******!===;~;~
         ~;=!!==~-!!!==!==;;;;:~,
           -~:;;;;;==;;;;;::~--.

Solve. Formalize. Verify.

Experience Mathematical Superintelligence

Suggestions

Aristotle builds and iterates on your codebase.

History

Recent sessions and requests

No requests yet. Start a new project above.

Aristotle CLI

Install and authenticate from your terminal

npm install -g @aristotle/cli
aristotle login
aristotle solve --project ./my-lean-project

Docs

Quick reference for common workflows

Continue with $Aristotle

You've used your 20 free chats. Connect an EVM wallet and hold $Aristotle to keep going.