Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

Tool for data extraction and interacting with Lean programmatically.

Retrieval-Augmented Theorem Provers for Lean

A Python library to interact with the XRP Ledger (XRPL) blockchain