Muhammad Alyan Ashraf · Islamabad

Muhammad Alyan Ashraf

Bioinformatics student at COMSATS.

I get interested in problems and systems, then make small things to understand them. I keep the experiments, half-finished ideas, and notes here.

Muhammad Alyan Ashraf

A student's corner of the internet. Last updated when I remember to.

Currently figuring out what to specialise in.say hello ↗

01 / Projects

Things I've explored

These are experiments I spent enough time with to put online. They are not all finished, and that is part of the point.

01 · 2026

Aletheia

Developer tooling · Working prototype

Why I thought of it: Coding agents can sound certain even when a change is broken. I wanted to see what a small, independent checking loop would look like.

What exists: A local Python project that runs declared checks, records failures, and gives the agent a bounded chance to try again.

Read the notes →
02 · 2026

Avaira Protocol

Agent infrastructure · Experimental

Why I thought of it: I was curious about what happens when an AI system has to act under uncertainty instead of being told to simply be careful.

What exists: An experimental protocol with a planner, a few kinds of verdicts, and a gate that refuses to treat unknown as safe.

Read the notes →
03 · 2026

NGS-Agent / GeneOS

Bioinformatics · In progress

Why I thought of it: A sequencing pipeline can finish without errors and still leave behind results worth questioning. That felt like a useful place to connect my degree with my interest in AI systems.

What exists: A Python tool for reading sequencing artefacts and logs, applying explicit checks, and pointing back to the evidence.

Read the notes →

More unfinished experiments are on GitHub.

02 / Around here

Experiments, interests, and things I'm learning

I like following a question for a while before deciding whether it deserves to become a project.

AI systems and agents when they have to do real work
Small software with a clear purpose
Biology, sequencing, and how data gets interpreted
What systems do when they are uncertain
Product ideas I write down before I build them
Currently learning: better fundamentals, slowly

A small status note

TryingAletheia — what should an agent check by itself?
ReadingAI systems, uncertainty, and bioinformatics
LearningHow sequencing tools turn data into conclusions

03 / Contact

If you want to talk about an idea, send me a note.

ranaaliyan887@gmail.com ↗

No pitch required.

About me · Other ways to reach me