Popular repositories Loading

1. AwesomeCursorPrompt AwesomeCursorPrompt Public

   A curated collection of specialized prompts inside Cursor Composer to supercharge your Cursor AI development experience \

   33 7

2. RSS-Chat-Agent RSS-Chat-Agent Public

   A production-ready, LLM-type-safe RSS chat agent

   Python 5

3. test test Public

4. Terminal-Group-Algo Terminal-Group-Algo Public

   This is used for updating terminal algo

   Python

5. js-host js-host Public

6. cvc5 cvc5 Public

   Forked from lenianiva/cvc5

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT