Mohammed Alkindi

CS at UC San Diego · Data analytics at Shell

I build evidence-first data and developer tools: deterministic systems that compute what can be checked before a model explains it.

Open source

49 merged upstream PRs across 19 repositories as of 31 August 2026. Most fix Windows, CI, and cross-platform reliability bugs, the failure modes hosted Linux CI misses.

Every badge below links to my merged pull requests in that project, so the count behind it is one click away:

Selected merged work:

• openclaw/openclaw #124299: doctor follows a macOS cloud symlink when the state dir leaf is absent.
• expressjs/multer #1450: kept Git from rewriting fixture line endings on Windows checkouts.
• rust-lang/cc-rs #1866: flag-support probes now honor Build::env overrides.
• pdm-project/pdm #3869: escaped glob characters in the venv lookup prefix.
• watchdog #1204: eliminated false deletion events from case-only Windows renames.
• mhammond/pywin32 #2795: fixed win32api.GetFullPathName returning an empty string for long paths.
• microsoft/apm #2645: plugin hook refs written with quotes now resolve.
• simple-statistics #814: made rank correlation stable when values tie.

Bug reports ship with a reproduction. Two recent ones: google/glazier #796 and google/python-fire #693.

I work with coding agents, and I disclose that upstream wherever a project asks for it. What I put my name on, I have run and verified myself.

Projects

• Ridge: evidence-first spreadsheet analysis.
• ProofX: replayable searches for mathematical counterexamples.
• Switchyard: safe multi-agent worktrees for one repository.
• contextbill: local-first cost analysis for coding-agent transcripts.
• OmanX: source-grounded visa and compliance guidance for Omani students abroad.

Off the keyboard

Badminton and photography.