pi-prayer-times

Islamic prayer time reminders for pi coding agent. Shows a live countdown to the next prayer below the editor, plays adzan when prayer time arrives, and auto-detects your location via IP.

Features

• Live countdown — yellow widget below the editor showing time until next prayer
• Adzan playback — plays bundled adzan.mp3 when prayer time arrives (15-min window)
• Auto-detect location — IP geolocation (lat/lon) for accurate timings, or manual entry
• Country-aware calculation — auto-selects the correct calculation method (Kemenag for Indonesia, ISNA for US, etc.)
• Smart caching — caches daily, survives restarts, auto-refreshes at midnight
• Multi-instance safe — atomic lock prevents 6 pi tabs from playing 6 overlapping adzans
• Typo protection — confirms city/country before saving

Install

pi install git:github.com/yourusername/pi-prayer-times

Or clone manually:

git clone https://github.com/yourusername/pi-prayer-times ~/.pi/agent/extensions/pi-prayer-times

Restart pi — the extension auto-loads.

Quick Start

Run /prayer-times:init and choose:

• Auto-detect (via IP) — detects your city/country/lat/lon automatically
• Enter manually — type country and city (defaults: Indonesia / Jakarta)

After setup, the widget appears below the editor and stays there.

Commands

| Command | Description | |---------|-------------| | /prayer-times:init | First-run setup — auto-detect or manual | | /prayer-times:show | Show today's 5 prayer times with ← now marker | | /prayer-times:auto-update-location | Re-detect location via IP | | /prayer-times:manual-update-location | Re-enter city/country manually | | /prayer-times:stop | Stop widget, clear cache & config |

Flags

All optional — set in ~/.pi/agent/settings.json or via CLI:

--prayer-city <city>          City (overrides saved config)
--prayer-country <country>    Country (overrides saved config)
--prayer-method <number>      Calculation method override (auto-detected by country)
--prayer-window <minutes>     Minutes to show "prayer time" after adzan (default: 15)
--adzan-path <path>           Custom adzan.mp3 (default: bundled)

Example:

pi --prayer-city "Surabaya" --prayer-country "Indonesia"

Or persist in ~/.pi/agent/settings.json:

{
  "flags": {
    "prayer-city": "Surabaya",
    "prayer-country": "Indonesia"
  }
}

Country → Calculation Method

The extension auto-detects the correct method based on your country:

| Country | Method | |---------|--------| | Indonesia | 20 (Kemenag RI) | | Malaysia, Brunei | 17 (JAKIM) | | Singapore | 11 (MUIS) | | Saudi Arabia, UAE, Qatar, Kuwait, Bahrain, Oman | 4 (Umm Al-Qura) | | USA, Canada | 2 (ISNA) | | UK | 15 (London Unified) | | France | 12 (UOIF) | | Turkey | 13 (Diyanet) | | Egypt | 5 (Egyptian General) | | Pakistan, India, Bangladesh | 1 (Karachi) | | Iran | 7 (Tehran) | | Other | 3 (Muslim World League) |

Override with --prayer-method.

How It Works

1. Location — IP geolocation (ip-api.com) or manual entry → saved to ~/.pi/prayer-times-config.json
2. Prayer times — fetched from Aladhan API (coordinates when available, city-name fallback)
3. Cache — stored in ~/.pi/prayer-times-cache.json, valid 1 day, stale up to 2 days
4. Widget — updates every 30 seconds, shows countdown or "prayer time" status
5. Adzan — atomic file lock ensures only one pi instance plays per prayer
6. Midnight — auto-refreshes prayer times at midnight

Custom Adzan

Replace the bundled adzan.mp3:

pi --adzan-path ~/Music/my-adzan.mp3

Or replace the file in the extension directory.

License

MIT