Python chatgpt-plugin

Open-source Python projects categorized as chatgpt-plugin

Top 7 Python chatgpt-plugin Projects

  • smolex

    🔍 Code entity retrieval "GPT action" for ChatGPT!

  • Project mention: Show HN: Smolex – A code retrieval ChatGPT Plugin for Python | news.ycombinator.com | 2023-06-20
  • LeanDojoChatGPT

    ChatGPT plugin for theorem proving in Lean

  • Project mention: 'A-Team' of Math Proves a Critical Link Between Addition and Sets | news.ycombinator.com | 2023-12-08

    Check out this paper:

    https://leandojo.org/

    People have already trained models to assist suggestion tactics. They then linked it up to ChatGPT to interactively solve proofs.

    In this scenario, ChatGPT asks the model for tactic suggestions, applies it to the proof and uses the feedback from Lean to then proceed with the next step.

    FYI, The programmatic interface to Lean was written by an OpenAI employee who was on the Lean team a few years ago.

    Also, check out Lean’s roadmap. They aspire to position Lean to becoming a target for LLMs because it has been designed for verification from the ground up.

    As math and compsci nerds contribute to mathlib, all of those proofs are also building up a huge corpus that will likely be leveraged for both verification and optimization.

    If AI can make verification a lot easier, then we’re likely going to see verification change programming similarly to the way it changed electronics.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • datasette-chatgpt-plugin

    A Datasette plugin that turns a Datasette instance into a ChatGPT plugin

  • shifu-plugin-for-chatgpt

    A plugin helps ChatGPT to interact with IoT devices.

  • OSGPT

    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.

  • Project mention: [P] Chat Your Way to File Content and Command Line Magic | /r/MachineLearning | 2023-10-21

    https://github.com/Ravi-Teja-konda/OSGPT 🎥 Watch the Demo Video Here

  • chatgpt-local-reader-plugin

    This is the simplest method for ChatGPT to read local text files.

  • Project mention: The easiest way to let ChatGPT read local data | news.ycombinator.com | 2023-05-16
  • chatgpt-genius-plugin

    Get song meanings, write song parodies, learn about artists and more with this ChatGPT plugin!

  • Project mention: I made a plugin for ChatGPT that uses the Genius API to search for song meanings, search by lyrics, and write song parodies! | /r/ChatGPT | 2023-05-05
  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Python chatgpt-plugin related posts

Index

What are some of the best open-source chatgpt-plugin projects in Python? This list will help you:

Project Stars
1 smolex 111
2 LeanDojoChatGPT 99
3 datasette-chatgpt-plugin 63
4 shifu-plugin-for-chatgpt 37
5 OSGPT 23
6 chatgpt-local-reader-plugin 16
7 chatgpt-genius-plugin 5

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com