Python
Next.js
Flutter
TypeScript
RAG
Supabase
Static Analysis
BLE
Amar Jaleel

Amar Jaleel

> 
Open to Work

I build software systems where AI, security, and product engineering meet.

I'm Amar Jaleel, a Computer Science student and software engineer building production applications, developer and security tools, applied AI research systems, and experimental systems software.

Five things I can show you, end to end

Each stage is a real project or a real upstream contribution, with the status it has actually reached and the limitations it actually has. The diagrams explain how the systems work; they are drawings, not recordings.

01Built

A reporting platform that runs a field operation

RODIFTProductionPrivate repository

Connecting a mobile app, a backend, a role hierarchy and a management dashboard into one workflow that people depend on daily.

Field staff report an outlet problem from their phone. The report is geo-matched to the nearest outlet, routed through the organisation’s role hierarchy, and driven to resolution with push notifications and an auditable trail. Management sees what is outstanding from a web dashboard.

Illustrative architecture, not a recording of the client system. This is a client-owned platform: no operational data, screenshots or business outcomes are shown.

How it works

  1. Field reportStaff file an issue from the mobile app.
  2. ValidationThe report is checked and geo-matched to the nearest outlet.
  3. BackendStored with spatial data and an auditable history.
  4. AssignmentRouted through the organisation role hierarchy.
  5. NotificationThe responsible role is pushed the issue.
  6. ManagementThe dashboard shows what is still outstanding.
  7. ResolutionClosed with the trail intact.

Evidence

Tagged release v2.0.0Published privacy policy

Limitations

  • Client-owned system; the repository and operational data cannot be made public.

02Verified

A dependency bump is not a proven fix

VeriPatchReleased

Automated remediation is usually applied on trust. Nothing proves the vulnerability is actually gone, or that the fix did not break the project.

VeriPatch treats a candidate fix as a hypothesis. It applies the change to an isolated copy, re-runs the scanner inside a container, runs the build and tests, and only then emits an evidence report describing what it actually observed.

Illustrative pipeline. Verifying a specific advisory is eliminated is not the same as eliminating all vulnerabilities or supply-chain risk, and this does not claim to.

How it works

  1. ScanRead the dependency tree of the project.
  2. DetectIdentify advisories affecting resolved versions.
  3. Select remediationChoose a candidate upgrade to test.
  4. Isolated copyApply the change to a copy, never the working tree.
  5. Docker verificationRun the check in a controlled container.
  6. RescanConfirm the advisory no longer resolves.
  7. Build & testCheck the fix did not break the project.
  8. EvidenceEmit a report of what was observed.

Limitations

  • Network isolation is bridge-level, not domain-level: during the install phase the container has general egress, so the real defence against a malicious postinstall is that lifecycle scripts are disabled, not the network boundary.
  • A confidence verdict reflects the project's own build and test commands exiting successfully, not whether those checks are honest. The re-scan independently confirms the vulnerability is gone; it does not re-verify the project's test assertions.
  • Docker containers share the host kernel, so a container-escape vulnerability in the runtime itself is outside what this can mitigate.
  • Verification and update replay fixes with npm; yarn and pnpm projects are refused rather than risking lockfile corruption.

03Researched

Asking whether a RAG system knows what it is missing

KnowledgeGuardResearchPrivate repository

A working retrieval demo proves very little. The question is whether a system can diagnose how its evidence is deficient, and whether that diagnosis is useful.

A purpose-built benchmark pairs questions with evidence that is deficient in a specific, typed way. A controlled factorial then crosses those deficiency types against candidate repair actions, so the question becomes measurable rather than anecdotal.

Illustrative design, not a results chart. The study asks whether typed diagnosis carries actionable information; it does not establish a universal or final repair policy. The repository is private, so the benchmark and analysis are not currently publishable.

How it works

  1. QuestionA query is posed against the corpus.
  2. Retrieved evidenceThe system returns what it can find.
  3. Evidence deficiencyThe evidence is typed: missing, insufficient, conflicting, outdated, or absent from the corpus.
  4. Repair actionA candidate response is selected for that deficiency.
  5. EvaluationEach pairing is run under the same controlled conditions.
  6. ResultThe factorial has been executed and the analysis completed.

Evidence

Factorial experiment executed

Limitations

  • One corpus, one language, and a 250M-parameter local reader, so absolute numbers are not comparable with published RAG systems; the factorial is a within-instance contrast.
  • Every conflict result is scoped to constructed, resolvable conflict. Natural, unresolvable conflict is in the benchmark for detection only.
  • Constructed conflict is far easier to detect than natural conflict — recall 0.957 against 0.574 — so detection results do not generalise from the constructed set.
  • The benchmark fails its own surface-leakage gate on detection for some types, and the failure is reported rather than repaired.
  • The only cell surviving multiple-comparison correction was later found to be measuring a construction artifact rather than conflict resolution; the pre-registered replication that would settle it has not been run.
  • The HotpotQA replication factorial has not been completed.

04Systems

Messages that move with no internet in the path

Emergency MeshActive DevelopmentPrivate repository

When there is no cell service and no server, delivery stops being a request and becomes a scheduling problem under physical constraints.

Phones discover each other over Bluetooth Low Energy and carry messages for one another. Because a peer may be out of range at the moment of sending, messages are encrypted, persisted, and forwarded opportunistically when a link becomes available.

Illustrative protocol simulation, not a recording of deployed hardware. The protocol, routing, cryptography, persistence and native BLE transport are built and tested, but real multi-hop relay across physical devices is not yet fully validated, and this is not suitable for real emergencies.

How it works

  1. DiscoveryNearby peers are found over BLE.
  2. PrepareThe message is framed for transport.
  3. EncryptEncrypted before it leaves the device.
  4. TransferHanded to a peer within range.
  5. Store & forwardHeld on the device until a link exists.
  6. AcknowledgeDelivery is confirmed where the path supports it.

Limitations

  • Protocol, routing, cryptography, persistence and the native BLE transport are built and tested, but the user interface is at an early stage.
  • Not yet installable as a finished product, and not suitable for real emergencies.
  • Real multi-hop relay across physical devices is not yet fully validated.

05Contributed

Working inside codebases other people maintain

Shipping your own repository is one skill. Landing a change in someone else’s, under their review and their standards, is a different one.

Each entry below is a real pull request against an upstream project, shown with the status it currently has. Reading an unfamiliar codebase well enough to change it safely is the part that transfers to a team.

Statuses are read from the canonical contribution records. Open pull requests are shown as open; nothing here is a contribution score or a simulated activity graph.

How it works

  1. Read the codebaseUnderstand conventions written by someone else.
  2. Scope the changeKeep the diff small enough to review.
  3. Open the PRSubmit it to the maintainers.
  4. ReviewRespond to the project’s standards, not your own.
  5. MergeThe change lands upstream.
~/amar/bio.md

> cat bio.md

I'm a Computer Science student at Sukkur IBA University (class of '27) who got tired of tutorial projects and started shipping real ones.

My work spans product engineering, security and developer tools, applied AI, and systems. I've shipped a field reporting platform that is in production, published a security CLI to npm, and run a controlled study on how RAG systems fail to retrieve good evidence.

I also contribute upstream rather than only to my own repositories — 6 merged pull requests into projects including Pydantic AI, Promptfoo and the Academy Software Foundation.

// When the code compiles on the first try, I assume something’s wrong.

🎓
Education

B.Sc. CS — Sukkur IBA University (2023–2027)

📍
Location

Pakistan · Remote-friendly

🔭
Currently

Building AI tools & open-source projects

⚡
Speciality

AI × Security × Full-stack

🤝
Status

Open to internships & collaborations

TECH_STACK

Each one is listed with what it was used to build. No proficiency percentages.

Explore the skill galaxy →

Education & Training

Academic Journey

Aug 2023 - Jun 2027

Bachelor of Computer Science

Sukkur IBA University

Focus on software engineering, security and applied AI

Apr 2020 - Oct 2022

Intermediate (Pre-Engineering)

Government Degree College Thari Mir Wah

Pre-Engineering with Science subjects

Grade: A

Achievements & Certifications

Recognition & Credentials

Security

Google Cybersecurity Professional

Google•Nov 2025
Verify Credential
Data

Google Data Analytics Professional

Google•2025
Verify Credential
AI

Google AI Essentials

Google•Aug 2025
Verify Credential
Languages

Python Bootcamp: Master Python with Real-World Projects

Udemy•Jun 2025
Verify Credential
AI

Discover the Art of Prompting

Google•Aug 2025
Verify Credential
AI

Introduction to AI

Google•Aug 2025
Verify Credential
AI

Maximize Productivity With AI Tools

Google•Aug 2025
Verify Credential
AI

Use AI Responsibly

Google•Aug 2025
Verify Credential
Security

Foundations of Cybersecurity

Google•Aug 2025
Verify Credential
Security

Play It Safe: Manage Security Risks

Google•Aug 2025
Verify Credential
Web

HTML Fundamentals

Udemy•Jun 2021
Verify Credential

FEATURED_PROJECTS

View all projects →

RODIFT

Production

Enterprise field issue-reporting platform for a field-sales organization. Staff report outlet problems from a mobile app; each issue is geo-matched to the nearest outlet, routed through the org role hierarchy, and driven to resolution with push notifications and an auditable trail. A web dashboard gives management oversight.

Client project — repository private.

FlutterNext.jsSupabasePostgreSQL+2
Private repositoryPrivacy policy →

VeriPatch

Released

Verified remediation for npm vulnerabilities. Scans a project, applies candidate fixes inside a sandbox, proves the vulnerability is eliminated and the fix is safe, then emits an audit-grade evidence report.

Published on npm (v0.3.1).

TypeScriptNode.jsCLIDocker+1

KnowledgeGuard / EGB

Research

A controlled study asking whether a RAG system can tell how its retrieved evidence is deficient — missing, insufficient, conflicting, outdated, or absent from the corpus — and whether that diagnosis carries actionable information for selecting a repair action.

Benchmark built, factorial executed, analysis complete. Repository private.

PythonRAGEvaluationExperiment Design
Private repository