Skip to content
View divyangchauhan's full-sized avatar
🎯
Focusing
🎯
Focusing
23 followers · 23 following

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report divyangchauhan

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

Divyang Chauhan

I ship across the stack, from native desktop tools to verified smart contracts and production SaaS.

Native & local-first

Mushak: Logitech Options+ replacement in pure Rust. 3.8 MB binary, low-level mouse hooks, HID++ 2.0.

Shruti: Local-first voice dictation for Windows.

Urukku: A Rust-powered alternative to Obsidian. Under development.

Web3 & verification

kleros-v2-invariant-tests: 133 verified properties. Foundry + Halmos + Echidna.

zkballot: Anonymous ZK voting on Arbitrum Sepolia.

Products

Tarpan: Automates post-death paperwork. NestJS + SQS + Lambda + Claude API, ~98% parse accuracy.

ClinchCV: Resume scoring, ATS checks, job fit analysis, and practical rewrites.

jobsieve: Self-hosted job aggregator with 8 boards, deduplication, and fit scoring.

Pramana: Multi-agent smart contract audits that verify findings with executable Foundry proofs. Under development.

Verdikt: Cross-platform dashboard for Kleros jurors. Under development.

For fun

Krell: Browser multiplayer tactical shooter. No build step, zero assets, all audio synthesized. ▶ Play.

Pinned Loading

  1. Mushak Mushak Public

    A lightweight Windows replacement for Logitech Options+, targeting the MX Master 2S. Pure Rust, native Ply GUI — 3.3 MB binary, no Electron.

    Rust

  2. Shruti Shruti Public

    Windows-native, local-first dictation with whisper.cpp transcription and insertion into the active app.

    C# 2

  3. Tarpan Tarpan Public

    Automates the paperwork after a death — death-certificate parsing, institution notification letters, and document generation.

    TypeScript

  4. kleros-v2-invariant-tests kleros-v2-invariant-tests Public

    Formal-verification, invariant-fuzzing, and property-fuzzing suites for Kleros V2 arbitration contracts.

    Solidity