Add GitHub Bots to Circuitverse Repositories

[Ayush7614]

We need to have project-specific bots later (Especially for Python, and JS-based projects) to track code quality, builds and all. Please have a look and let me know what you think. You can also add more bot integrations that we can have right here.

This issue would be used to track the integration of GitHub Bots across Circuitverse repositories.

1 . Prosebot Integration

• Checks for grammatical errors in the Docs. It is specially for docs
• Analyzes spelling, prose and inclusive verbiage in Markdown and Text Files.
• Provides an easy way to analyze documentation changes and ensure a consistency throughout

2 . Stale Bot Integration

• Closes Issues and Pull Requests if not attended to in a specified period of time
• Maintains the overall sanctity of the issues and Pull Requests tab.
• Keeps a check on spam/unnecessary Issues and PRs.

3 . Greet Bot Integration

• Greet First Time Contributors

4 . Request - Info Integration

• Request for the information if the issues/PR Content body is empty
• Help us in Spam / invalid issues and PRs

We can also add many bots i have more specific bots and i can also add in the future
What is the idea cc @tachyons ?

[vedant-jain03]

@CircuitVerse/circuitverse-core-team WDYT of this?