Specializing in Soroban Smart Contracts (Rust), Formal Invariant Provers (Z3 SMT / Halmos), AI Autonomous Agent Security, and High-Throughput Financial Backends.
🦈 Pull Shark (Gold Tier • 222+ Merged PRs) • ⚡ Quickdraw • 🚀 YOLO • 👯 Pair Extraordinaire
1. 🛡️ AetherGuard — AI Agent Invariant Security OS
Mathematical Invariant Firewall & Liquidity Safety OS for Autonomous Web3 AI Agents
- The Problem Solved: Eliminates prompt-injection treasury drains, rogue agent spend loops, and model hallucinations.
- Architecture: Enforces memory-isolated hardware enclave pattern, sliding-window velocity caps, and balance solvency floors in Pure Rust.
- Instant Install:
brew tap Ranjeet2063/tap && brew install aetherguard
🔗 Repository: github.com/Ranjeet2063/aetherguard • 🏛️ Release:v0.1.0
2. 🤖 SentinelGuard SaaS — Autonomous GitHub Security Scanner
Autonomous GitHub Marketplace Security Scanner & Invariant Gatekeeper for Soroban & Smart Contracts
- The Problem Solved: Prevents vulnerable contracts, unhandled panics, private key leaks, and missing authorization checks from reaching production branches.
- Zero-Vulnerability Architecture: Native zero-dependency assertion test runner, sub-millisecond response latency, and Stripe Connect automated billing integration.
🔗 Repository: github.com/Ranjeet2063/sentinelguard-saas
3. 🔬 InvariantForge — Formal Verification & SMT Symbolic Prover
Autonomous Dual-Engine Formal Verification & SMT Symbolic Prover for High-Assurance Protocols
- The Problem Solved: Replaces probabilistic fuzzing with mathematical certainty — proving protocol state invariants across all unbounded inputs or extracting exact counterexample states.
- Sub-Second Proofs: Formally proves constant-product AMM invariants, insolvency immunity, and reentrancy resistance in
$< 0.20\text{s}$ .
🔗 Repository: github.com/Ranjeet2063/InvariantForge
4. 💳 NepalPay — Unified Nepal Payment Gateway SDK
Unified, Zero-Dependency Payment Gateway SDK & Terminal CLI for eSewa (ePaisa V2), Khalti (V2), Fonepay & ConnectIPS
- Zero External Dependencies: Pure Web Crypto API implementation for ultra-lean production deployments across Node.js, Bun, and Next.js App Router.
- Instant Install:
npm i nepal-payorbrew install nepal-pay
🔗 Repository: github.com/Ranjeet2063/nepal-pay • 📦 NPM:nepal-pay
5. 🌊 SorobanFlow — Continuous Streaming Payment Protocol
Turnkey Automated Payroll, Continuous Streaming & Session-Guarded Vesting Protocol on Stellar / Soroban
- Mathematical Invariant Verification: 20/20 unit tests verifying linear vesting, 1 Billion token boundary safety, and multi-stream solvency invariants.
- Automated CI/CD: Verified GitHub Actions workflow running cargo test, WASM compilation, and clippy audits.
🔗 Repository: github.com/Ranjeet2063/sorobanflow • 📋 Changelog:v0.2.0
6. ⚙️ soroban-guard-action — GitHub Action Marketplace Auditor
Automated WASM size, gas budget optimization, and security invariant auditor for Soroban smart contracts in GitHub Actions.
🔗 Repository: github.com/Ranjeet2063/soroban-guard-action
# Install AetherGuard CLI (AI Agent Security OS) via Homebrew
brew tap Ranjeet2063/tap && brew install aetherguard
# Install NepalPay CLI (Payment Gateway Suite)
brew install nepal-pay
# OR via npm:
npm install -g nepal-pay
# Integrate Soroban Security CI in GitHub Actions
# In your .github/workflows/ci.yml:
uses: Ranjeet2063/soroban-guard-action@v1| Organization / Project | Domain & Ecosystem | Highlights & Impact | Status |
|---|---|---|---|
| TT-Metal (Tenstorrent) | Silicon AI Hardware (Jim Keller) ⭐ 5.5k+ | PR #55213 — PyTorch top-k golden model lazy import optimization | 🟣 MERGED ON main |
| ElizaOS / Eliza | Top Autonomous Web3 AI Framework ⭐ 19.2k+ | PR #30298 — @elizaos/plugin-technocore agent memory kit |
🏆 APPROVED |
| zkpayroll | Zero-Knowledge Payroll Protocol | 22 Merged PRs across SDK & Smart Contracts (Treasury parsing, employee onboarding, recovery hints) | 🟣 22 PRs MERGED |
| Invoice Liquidity Network | Institutional DeFi Rails (Stellar) | PR #820 — E2E testnet smoke test resilience & landmark fixes | 🚀 PR SUBMITTED |
| Epta-Node / ai-net | Decentralized AI Agent Network | PR #533 — Cargo workspace members, orphaned crate compilation | 🟣 MERGED ON main |
| Axionvera Network | Decentralized Escrow Protocol | 5 Merged PRs (Deployment runbooks, MVP fixtures, vault smoke tests) | 🟣 5 PRs MERGED |
| Trustless Work | Multi-Party Escrow Smart Contracts | 4 Merged PRs across agency escrow contracts & testing suites | 🟣 4 PRs MERGED |
| drydocs / tholos | Institutional Soroban Vault Protocol | PR #168 — Soroban smart contract authorization & state management | 🟣 MERGED ON main |
| Nepal Compliance | ERPNext Fiscal Compliance (Yarsa Labs) | PR #301 — Internationalization & Nepali num2words fallback test suite | 🟣 MERGED ON main |
👉 View all 222+ Merged Pull Requests on GitHub
Support the continuous development of open-source formal verification provers, mathematical invariants, and autonomous security systems:
| Tier | Commitment | Impact & Benefits |
|---|---|---|
| ☕ Individual Supporter | $5 / month | Official supporter badge + inclusion in release changelogs |
| 🛡️ Open-Source Backer | $25 / month | Name listed in repository READMEs + direct private discussions |
| 🥉 Bronze Sponsor | $100 / month | Priority issue triage + security review advice for small contracts |
| 🥈 Silver Corporate Sponsor | $500 / month | Corporate logo in READMEs & docs + monthly architecture check-in |
| 🥇 Gold Strategic Partner | $2,500 / month | Dedicated formal invariant auditing + monthly protocol advisory calls |
- Personal Portfolio: ranjeet2063.github.io
- Telegram: @guptakumarranjeet
- Twitter / X: @RanjeetBhaxfo
- Email: guptakumarranjeet150@gmail.com
- GitHub: Ranjeet2063