ChatGPT plugin for theorem proving in Lean
-
Updated
Apr 4, 2024 - Python
ChatGPT plugin for theorem proving in Lean
Execute IPython & Jupyter from the comforts of chat.openai.com
A Datasette plugin that turns a Datasette instance into a ChatGPT plugin
A ChatGPT plugin that allows users to create websites and Lambda functions using ChatGPT
ChatGPT ShellMaster enables command-line interactions via chat using OpenAI's ChatGPT Plus. Run scripts, manage files, and monitor processes directly from your chat. Use responsibly, mindful of security implications.
An Example Plugin for ChatGPT, Utilizing FastAPI, LangChain and Chroma
A plugin helps ChatGPT to interact with IoT devices.
OSGPT is a powerful plugin designed to dynamically load documents from specified folders and create searchable vector databases. Not only does it offer a quick way to query from your documents, but it also allows you to execute CLI commands on the host system, be it Linux/Unix or Windows.
The Ukr-Books-ChatGPT-Plugin is a Python-based plugin designed to enhance the capabilities of OpenAI's ChatGPT model by integrating it with Ukrainian literature. The plugin fetches, processes, and formats Ukrainian literature data, allowing ChatGPT to generate responses based on this data.
This is the simplest method for ChatGPT to read local text files.
A ChatGPT plugin that replicates the abilities of the Code Interpreter plugin, but for your own machine.
Template repo for bootstrapping a FastAPI ChatGPT Plugin
🐳 Docker Images for chatgpt-retrieval-plugin 🤖
Get song meanings, write song parodies, learn about artists and more with this ChatGPT plugin!
ChaGPT Plugin for RisingWave Documentation
A very basic chess plugin that interfaces with lichess and a chess library to allow ChatGPT to play chess
ChatGPT plugin for Home Assistant
ChatGPT Todo Plugin in FastAPI
Add a description, image, and links to the chatgpt-plugin topic page so that developers can more easily learn about it.
To associate your repository with the chatgpt-plugin topic, visit your repo's landing page and select "manage topics."