Search for documentation across public web, GitHub, or private resources like repos and PDFs. Use queries with programming language and framework details to retrieve relevant documentation efficiently.
Remove GitHub authentication to disconnect your account or switch profiles. This action clears active GitHub connections, enabling seamless transitions between accounts or integrations.
Verify GitHub authentication status to confirm connection, display username, and identify available actions. Use to resolve queries like 'Am I connected to GitHub?' or 'What’s my GitHub status?'
Terminate the PureScript IDE server to release system resources after completing tasks like type checking or switching projects, disabling related IDE tools.
An MCP server that automates the backup of Cloudflare projects to a GitHub repository, providing a systematic way to preserve Cloudflare configurations and assets.