Skip to content
View hopepranav08's full-sized avatar

Block or report hopepranav08

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
hopepranav08/README.md

Hi, I'm Pranav

CSE undergrad in Pune. I build AI systems — and I care about the engineering around the model: evaluation, graceful degradation, traceability, and knowing when a plain function call beats an agent.


What I'm building

Nexora — a certifiable edge-AI compiler for RISC-V

An MLIR/xDSL compiler that lowers neural networks to RISC-V Vector C and emits machine-checkable evidence about the code it generated — traceability, memory certificates, timing bounds. Everyone can generate fast edge-AI code; almost nobody can prove anything about the code they generated. That gap is why AI stays out of certified systems like aircraft and medical devices.

194 tests · 100% coverage · pyright strict · CI on 2 OS × 2 Python versions

AuraLisAPI — autonomous zombie-API detection

Finds deprecated endpoints still reachable in production and drives them to remediation — the failure mode behind the 2022 Optus breach. Built as a LangGraph agent with a deliberate human-approval interrupt before any enforcement action, fed by nine eBPF programs reading HTTP/TLS traffic at kernel level.

Clintra — AI drug-discovery research assistant

A RAG pipeline over PubMed, PubChem, the Protein Data Bank and ClinicalTrials.gov, with multi-provider LLM routing between Cerebras and GPT-4. Led a team of four.


Tools

AI  Python · LangChain · LangGraph · RAG · Pinecone · MCP · Cerebras · Groq · OpenAI

Backend  FastAPI · REST · PostgreSQL · Redis · Docker · Go

Frontend  React · Next.js · Tailwind · Flutter

Systems  eBPF · MLIR/LLVM · RISC-V · Linux · Arduino


Elsewhere

First prize, prompt-engineering competition (2026)  ·  🎓 Technical Co-ordinator, Meta Coders Club  ·  🎹 Indian classical harmonium

LinkedIn  ·  pranavswami077@gmail.com

Pinned Loading

  1. AuraLisAPI AuraLisAPI Public

    Autonomous zombie-API detection & remediation — eBPF kernel telemetry + a LangGraph agent with human-in-the-loop approval

    Python 1

  2. Clintra Clintra Public

    AI drug-discovery research assistant — RAG over PubMed, PubChem, PDB & ClinicalTrials.gov with multi-provider LLM routing

    Python 3

  3. nexora nexora Public

    An MLIR/xDSL compiler that lowers neural networks to RISC-V Vector code — and proves things about the code it generated

    Python 1

  4. AWS-CC-NMIET/AwsCloudClubWebsite AWS-CC-NMIET/AwsCloudClubWebsite Public

    TypeScript 4 7