Skip to content
View MohammedAlkindi's full-sized avatar
4 followers · 17 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Highlights

Block or report MohammedAlkindi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
MohammedAlkindi/README.md

Hi, I'm Mohammed Alkindi

ProofX founder | CS @ UC San Diego | Data Analytics @ Shell

I build research tools, data systems, and small experiments around math, ML, and reproducibility.

Building tools that make hard ideas easier to test.

AlkindiX.com | LinkedIn | Email

Working On

ProofX    computational experiments for integer dynamics
OmanX     scholarship compliance guidance for Omani scholars abroad
Shell     reporting pipelines and operational analytics

Stats

GitHub streak stats

Activity

activity graph

Pinned Loading

  1. OmanX OmanX Public

    OmanX is a government-ready AI onboarding system that guides Omani scholars through studying in the U.S. using only approved sources, structured checklists, and clear escalation to official authori…

    JavaScript

  2. ProofX ProofX Public

    Official frontend for ProofX, enabling exploration, visualization, and reproducible experiments in computational mathematics.

    Python

  3. BrainX BrainX Public

    This repository implements an AI/ML-driven response prediction engine that leverages personal memory representations to model, anticipate, and generate my likely responses over time.

    Python

  4. Germinal Germinal Public

    AI powered conjecture exploration engine. Generates candidate mathematical hypotheses via LLM, auto-formalizes them in Lean 4, and logs every experiment in a reproducible, snapshot-based research e…

    Python

  5. Folio Folio Public

    Local document intelligence pipeline: ingest PDFs and text files, query across your corpus with cited answers traceable to source and page number.

    Python

  6. Quant Quant Public

    AI-powered personal trading assistant. Live market data, LSTM price prediction, RL position sizing, sentiment analysis, anomaly detection, and Claude AI reasoning. Built with FastAPI, PyTorch, Reac…

    Python