WeMakeDevs Hackathon — Pirates of Coral-bean | Track 2: Personal Agent.
"What needs my attention today?" — answered instantly by pulling GitHub data through Coral's unified SQL runtime.
| Member | GitHub |
|---|---|
| Sagar Maurya | @mauryasagar |
| Disha Sonowal | @ritamonisonowal2 |
Developers context-switch constantly — GitHub for issues and PRs. There's no single place that says "here's what actually matters right now." Every tool requires separate logins, separate queries, and mental stitching.
- 🐛 Triages open GitHub issues — ordered by recency so nothing falls through
- 🔁 Detects duplicate issues — using keyword matching to cut noise
- ✅ Drafts release notes — auto-generated from merged PRs
- ⚡️ Real-time digest — GitHub data in one Coral SQL query
- 🤖 MCP Integration — AI agents can query your data directly via Coral's MCP server
!Dev's First Mate Dashboard
!Coral SQL Demo
| Feature | How We Used It |
|---|---|
| SQL Interface | coral sql "SELECT ..." to query GitHub issues & PRs |
| Schema Learning | SELECT * FROM coral.tables to discover available data |
| MCP Server | coral mcp to expose data to AI agents |
| Caching | Built-in Coral caching on repeated queries for speed |
| Source Discovery | coral source discover to explore bundled sources |
| Layer | Technology |
|---|---|
| Data Runtime | Coral — Cross-source SQL |
| Backend | Flask (Python) |
| Frontend | HTML / CSS |
| Deployment | Render (Free tier) |
SELECT number, title, state, created_at
FROM github.issues
WHERE repo = 'devs_first_mate' AND state = 'open'
ORDER BY created_at DESC
LIMIT 10
SELECT schema_name, table_name
FROM coral.tables
ORDER BY 1, 2
SELECT number, title, merged_at
FROM github.pulls
WHERE owner = 'mauryasagar' AND repo = 'devs_first_mate'
AND state = 'closed'
ORDER BY merged_at DESC
LIMIT 10
| 🌐 Live App | https://devs-first-mate.onrender.com |
| 📦 GitHub (Hackathon Project) | https://github.com/mauryasagar/devs_first_mate |
| ⭐️ Star Coral | https://git.new/coral-wemakedevs-may26 |
# 1. Clone the repo
git clone https://github.com/mauryasagar/devs_first_mate
cd devs_first_mate
# 2. Install Coral
brew install withcoral/tap/coral # macOS
# or
curl -fsSL https://withcoral.com/install.sh | sh # Linux
# 3. Add GitHub source
coral source add --interactive github
# 4. Install Python dependencies
pip install -r requirements.txt
# 5. Run the app
python app.py
Built with ❤️ for WeMakeDevs Hackathon — Pirates of Coral-bean · Powered by Coral