Nikhil Lakra
Get in touch
Systems Online·B.Tech CSE '29·Manipal University Jaipur·Jaipur, India

Let the work do the talking.

Nikhil Lakra — Full-Stack & AI Engineer

Agentic systems & verification tooling · Nothing ships until a test or exploit replay proves it.

Explore SystemsGitHub
// The Standard

Deterministic code decides. The model only proposes.

Engineered around strict mathematical invariants, compiler-grade verification gates, and low-latency distributed telemetry.

01 / Core Systems

Selected Projects.

Selective architectural case studies built on mathematical correctness, deterministic verification, automated testing, and low-latency cloud infrastructure.

01/Autonomous Systems & Deterministic Verification
Sole Architect & Lead Developer·2026

ProofStack

Autonomous DevSecOps engine with compiler gates, microVM DAST, and cryptographic Merkle proof ledgers

Built for the Nebius x NVIDIA Global AI Hackathon (Coding & Agentic Engineering track). Enforces the core invariant: "Deterministic Code Decides; The Generative Model Only Proposes." Validates PRs with 8 zero-compromise compiler AST gates, 12-vector live microVM dynamic analysis, NVIDIA Nemotron scoped repairs, and an append-only Merkle ledger.

Architectural Note

Zero-compromise deterministic compiler verification pipeline where generative models only propose candidate fixes, while compiler AST passes and Merkle trees hold veto authority.

Python 3.12NVIDIA NemotronMicroVM DASTAST ParsingMerkle TreesFastAPINext.js 14
View RepositoryLive Candidate
Verified Metrics
8 Compiler Gates
Deterministic AST Audits
12 Vectors
Live MicroVM DAST Runs
HMAC-SHA256
Merkle Evidence Ledger
02/Geospatial Engineering & Cloud Systems
Sole Architect & Developer·2026

FloodLens

Differential urban hydrology and municipal stormwater intervention modeling

Pairs inundated municipal catchments with resilient twin wards across elevation gradients, stormwater drain dimensions, and impervious surface ratios to model counterfactual infrastructure interventions before monsoon cloudbursts strike.

Architectural Note

Engineered with reproducible AWS CloudFormation IaC templates, distributed AWS Lambda workers executing stateless chunked DEM transforms, and spatial buffering in PostGIS.

AWS LambdaAWS CloudFormationPython 3.12PostGISPostgreSQLNext.js 14Docker
View RepositoryLive Candidate
Verified Metrics
27 / 30
AWS × Environmental Hackathon
203 Suites
Automated Test Verification
< 2.4s
Vector Inundation Latency
03/Financial Platforms & Core Backend
Backend Architect & Full-Stack Lead·2026

FINROQ

Zero-float discrepancy double-entry core accounting backend with immutable audit journals

Eliminates IEEE-754 floating-point drift across 17 unified double-entry accounting modules, enforcing strict mathematical balance sheet invariants at the transaction layer backed by Argon2id password hashing and immutable audit journals.

Architectural Note

Enforces strict arbitrary-precision Decimal arithmetic, transaction isolation guarantees, and cryptographic password derivation via Argon2id with versioned Alembic migrations.

Python DecimalFastAPIPostgreSQL 16SQLAlchemyAlembicArgon2idJWTNext.js 14
View RepositoryLive Candidate
Verified Metrics
247 / 247
Pytest Backend Suites Passed
87 / 87
Jest Frontend Suites Passed
0.00
Float Invariance Rounding Drift
04/Streaming Telemetry & Distributed Systems
System Architect & Streaming Engineer·2026

NearMiss Transit

Streaming telemetry ingestion and precursor transit bottleneck detection

High-throughput asynchronous stream ingestion processing live GTFS-Realtime vehicle feeds with sub-150ms sliding-window headway calculations to detect cascading transit bottlenecks before stoppages occur.

Architectural Note

High-throughput asynchronous stream ingestion processing vehicle position updates with sub-150ms sliding-window headway calculations and real-time dispatch alerts.

PythonGTFS-RealtimeStream IngestionEvent DetectionWebSocketsNext.js 14Mapbox GL
View RepositoryLive Candidate
Verified Metrics
GTFS-R
Realtime Protocol Ingestion
< 150ms
Headway Variance Calculation
60 FPS
Dynamic Vector Buffer Renders
02 / Profile & Background

About Me.

Full-Stack & AI Engineer focused on agentic systems, deterministic verification, and distributed backends.

// Profile & Ethos

Nothing ships until a test or an exploit replay proves it.

B.Tech student who builds and ships end-to-end: full-stack applications, robust backend services, and evidence-grounded AI systems. Most recent work is ProofStack, an autonomous code-repair engine where generative models only propose candidate fixes, while deterministic compiler, security, and regression gates decide what actually ships.

Jaipur, India·nikhillakra2007@gmail.com·LinkedIn
Academics & EducationExpected 2029

B.Tech in Computer Science & Engineering

Manipal University Jaipur

Hackathon Evaluation:Scored 27/30 (AWS Environmental)
Verified Technical Tooling

Skills & Technologies

Languages
CPythonJavaScriptTypeScriptSQL
AI & Agentic Systems
Agentic WorkflowsNVIDIA Nemotron (Nebius)Gemini IntegrationMultimodal AIModel Output Verification
Security & Verification
Tree-sitter AST AnalysisSemgrep & RuffDAST Exploit ReplayHMAC-SHA256 Merkle LedgersPytest Regression Gating
Backend & APIs
FastAPIPydanticREST APIsJWT & Argon2id HashingSQLAlchemy 2.0Alembic
Frontend & Cloud
ReactNext.js 14Tailwind CSSAWS LambdaCloudFormation IaCDocker & Compose
04 / Secondary Archive & Experiments

Playground & Systems Index.

Autonomous LLM agents, solar telemetry, circular economy markets, and simulation experiments.

Autonomous Systems & LLM Agents2026

NovaResolve Agentic AI

Multi-agent orchestration framework for deterministic problem decomposition and sandboxed tool execution.

PythonLangChainFastAPIVector Embeddings
SourceLive
Clean Energy & Grid Telemetry2026

Yuva Energy (Kisan Urja)

Decentralized rural solar energy monitoring platform tracking distributed array yields and inverter health.

ReactNode.jsChart.jsIoT Telemetry
SourceLive
Information Integrity & Verification2026

FactSetu

Multilingual claim verification pipeline performing automated cross-source citation cross-examination.

PythonNLPNext.jsFastAPI
SourceLive
High-Concurrency Operations2026

Event Management Platform

Real-time attendee ticketing, credential badge verification, and dynamic venue capacity throttling.

Next.jsTypeScriptPostgreSQLPrismaTailwind CSS
SourceLive
Healthcare Resource Optimization2026

Hospital Intelligence

Triage queue smoothing, predictive ICU bed allocation, and medical inventory depletion forecasting.

PythonFastAPIPandasReactTailwind CSS
SourceLive
Decentralized Coordination2026

SWARM-INTEL

Consensus protocols and emergent task allocation across simulated multi-agent drone clusters.

PythonSimulationWebSocketsNumPy
Source
Reverse Logistics & Circular Tech2026

SmartScrapSetu

Automated industrial e-waste valuation marketplace matching scrap generators with certified handlers.

Next.jsTypeScriptTailwind CSSNode.js
Source
Solar Geometry & Simulation2026

Urban Shadow App

High-precision solar declination and building shadow casting simulation for architectural planning.

Three.jsJavaScriptGIS CalculationsWebGL
Source
Graphics & Micro-Interactions2026

Motion

High-performance spring physics benchmarks, canvas rendering, and creative frontend experiments.

TypeScriptCanvas APICSS TransitionsVite
Source
Autonomous Systems & LLM Agents2026

NovaResolve Agentic AI

Multi-agent orchestration framework for deterministic problem decomposition and sandboxed tool execution.

PythonLangChainFastAPIVector Embeddings
SourceLive
Clean Energy & Grid Telemetry2026

Yuva Energy (Kisan Urja)

Decentralized rural solar energy monitoring platform tracking distributed array yields and inverter health.

ReactNode.jsChart.jsIoT Telemetry
SourceLive
Information Integrity & Verification2026

FactSetu

Multilingual claim verification pipeline performing automated cross-source citation cross-examination.

PythonNLPNext.jsFastAPI
SourceLive
High-Concurrency Operations2026

Event Management Platform

Real-time attendee ticketing, credential badge verification, and dynamic venue capacity throttling.

Next.jsTypeScriptPostgreSQLPrismaTailwind CSS
SourceLive
Healthcare Resource Optimization2026

Hospital Intelligence

Triage queue smoothing, predictive ICU bed allocation, and medical inventory depletion forecasting.

PythonFastAPIPandasReactTailwind CSS
SourceLive
Decentralized Coordination2026

SWARM-INTEL

Consensus protocols and emergent task allocation across simulated multi-agent drone clusters.

PythonSimulationWebSocketsNumPy
Source
Reverse Logistics & Circular Tech2026

SmartScrapSetu

Automated industrial e-waste valuation marketplace matching scrap generators with certified handlers.

Next.jsTypeScriptTailwind CSSNode.js
Source
Solar Geometry & Simulation2026

Urban Shadow App

High-precision solar declination and building shadow casting simulation for architectural planning.

Three.jsJavaScriptGIS CalculationsWebGL
Source
Graphics & Micro-Interactions2026

Motion

High-performance spring physics benchmarks, canvas rendering, and creative frontend experiments.

TypeScriptCanvas APICSS TransitionsVite
Source
05 / Dispatch & Inquiry

Let's build something
technically ambitious.

Available for high-impact software engineering roles, distributed systems, and technical product architecture.

Send Direct Email
Manipal University Jaipur
Bachelor of Technology in Computer Science ('29)
GitHubEmail