lean-dojo/LeanDojoChatGPT

ChatGPT plugin for theorem proving in Lean

/ 100

Emerging

123 stars. No commits in the last 6 months.

Stale 6m No Package No Dependents

Maintenance 0 / 25

Adoption 10 / 25

Maturity 16 / 25

Community 14 / 25

Stars

123

Forks

Language

Python

License

MIT

Category

Last pushed

Apr 04, 2024

Commits (30d)

Get this data via API

curl "https://pt-edge.onrender.com/api/v1/quality/llm-tools/lean-dojo/LeanDojoChatGPT"

Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.

Higher-rated alternatives

rawandahmad698/PyChatGPT

⚡️ Python client for the ChatGPT API with, conversation tracking, proxy support and more.

Simatwa/WebChatGPT

Python SDK/API for ChatGPT Web-Version

minimaxir/simpleaichat

Python package for easily interfacing with chat apps, with robust features and minimal code complexity.

k4l1sh/alexa-gpt

A tutorial on how to use ChatGPT in Alexa

toshiakit/MatGPT

MATLAB app to access ChatGPT API from OpenAI