LabourVala: an ethical hiring platform for daily-wage workers
My own product, built under
ATAEON Cognition Private Limited,
the company I founded in July 2026 and run as Managing Director. In
September 2026 it was recognised as a startup by
DPIIT (Startup India). LabourVala
connects skilled daily-wage workers with verified contractors, starting
in Chhatrapati Sambhajinagar. The product is essentially complete and
launching now.
Contractors and companies are verified with licences and documents before they can post a single job; workers are verified with Aadhaar & PAN.
Phone numbers stay hidden until both sides accept, so a match can't be poached off-platform.
A 4-digit arrival code confirms the worker reached the site, which keeps a digital attendance record.
Free to register; a flat fee is charged only when a real match is made. Two-way ratings build trust scores. Marathi-first interface, with an Android app.
How a match happens. Post a job: nearby workers are notified
and apply (orange). The
contractor accepts the best-rated ones (green),
their numbers are revealed, and an arrival code confirms they showed up.
Capstone · 90/100Jan – May 2026 · Python, LLMs
AIDEAS-OEIS: AI-Driven Evaluation of Arithmetic Sequences in OEIS
A hybrid verifier that reads OEIS entries and flags formulas that
don't hold. Qwen2.5-Math:7b runs locally through Ollama, and SymPy
and LODA program synthesis check what it produces.
Three verifiers: LODA (≈19% hit rate) → LLM writes the formula as code, run in a restricted Python sandbox → SymPy closed-form evaluation; a Bayesian classifier combines them into one confidence score.
2,041 sequences: 51.6% high-confidence valid, 40.3% need human review, 8.1% LLM interpretation errors, stable under Wilson 95% intervals.
Survives crashes and resumes (SQLite state per sequence), runs in Docker, exports CSV/JSON/SQLite.
Pipeline. 2,041 sequences pass through the three verifiers
and settle into the reported proportions. Black whiskers are Wilson
95% intervals; they narrow as the sample grows.
OngoingInteger-sequence research
OEIS contributor
Contributions to the On-Line Encyclopedia of Integer Sequences.
The common thread is the finite difference, the same operator
behind the Layered Pascal work.
Closed-form formula for A259569, later shown to be a layer-2 projection of my Pascal transform framework.
Difference table. Take differences of np repeatedly: after
p rounds every row is the constant p!, and after that, zero.
OngoingPython (Manim), C++
Manim animations for research presentations
More than ten Manim animations of new mathematical ideas (Fibonacci
methods, probability distributions), used in my research talk on
YouTube (500+ views).
In the Manim spirit. Rotating circles add odd harmonics into a
square wave. Add circles and the corners get sharper (the overshoot
that stays is the Gibbs phenomenon).
Client project2021 – 2022 · Django
Django-POL Agro web platform
A full-stack Django CRUD platform built for a client during the IB
Diploma. Fertiliser wholesalers use it to answer farmers' questions
and show their products.
Request flow. Farmers send queries
(amber) and wholesalers reply
(green). Click a farmer to ask
something.
OngoingShell
myBash: Bash & Linux commands
My collection of useful Bash commands, Linux one-liners and
.bashrc customisations, including a cron job that
updates Homebrew every month. Notes from tutorials and practice.