Skip to content

Latest commit

 

History

60 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

30+ merged upstream PRs. I focus on Windows, CI, and cross-platform reliability issues—the failure modes hosted Linux or elevated Windows CI often miss.

Selected work:

Active contributions: Anthropic, NVIDIA, and OpenClaw.

Projects

  • Ridge · live — evidence-first spreadsheet analysis.
  • ProofX · live — replayable searches for mathematical counterexamples.
  • Quant — cost-aware, reproducible quantitative research.
  • Switchyard · live — safe multi-agent worktrees for one repository.
  • OmanX — source-grounded visa and compliance guidance for Omani students abroad.

Contact

LinkedIn

About

My GitHub profile README.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Used by

Contributors