Ranjeet Kumar Sah Ranjeet2063

💼 Available for Remote Web3 Contracts, Full-Time Roles & Contributor Retainers

Specializing in Soroban Smart Contracts (Rust), AI Autonomous Agent Tooling, High-Throughput Backends (TypeScript/Node/Go), and Deterministic DeFi Systems.

🎖️ GitHub Achievements & Honors

🦈 Pull Shark (Gold Tier • 222+ Merged PRs) • ⚡ Quickdraw • 🚀 YOLO • 👯 Pair Extraordinaire

🔬 Premier Formal Verification & SMT Prover: `InvariantForge`

Autonomous Dual-Engine Formal Verification & SMT Symbolic Prover for High-Assurance Smart Contracts

The Problem Solved: Replaces probabilistic fuzzing with mathematical certainty — proving protocol state invariants across all unbounded inputs or extracting exact counterexample states.

Dual Verification Architecture: Combines stateful fuzzing (Foundry) with bounded/unbounded symbolic EVM execution (Halmos) and first-order first-principles constraint checking (Z3 / Yices 2 SMT).

Sub-Second Mathematical Proofs: Proves insolvency prevention, constant-product AMM invariants, and reentrancy immunity in $< 0.20\text{s}$.

Zero-Config CLI: Automated contract discovery, AST property extraction, and regression test generation. 🔗 Repository: github.com/Ranjeet2063/InvariantForge • 🏛️ Release: v0.1.0

🛡️ Sovereign Flagship Protocol: `AetherGuard`

The World's First High-Performance Mathematical Invariant Firewall & Financial OS for Autonomous AI Agents

The Problem Solved: Eliminates prompt-injection wallet drains and model hallucinations from depleting Web3 agent treasuries.

Core Architecture: Enforces the Proposer vs. Signer Enclave pattern with sub-millisecond Rust invariant verification (spend velocity, recipient whitelists, balance reserve floor).

Complete Stack: Pure Rust Core Engine (aetherguard-core), Soroban Protocol State (aetherguard-soroban), Interactive CLI Simulator (aetherguard-cli), TypeScript SDK (@aetherguard/sdk), ElizaOS Plugin, and Anthropic MCP Server. 🔗 Repository: github.com/Ranjeet2063/aetherguard

🛡️ Flagship Developer Tooling: `soroban-guard-action`

Automated Smart Contract Security, Gas & WASM Budget CI Auditor for Stellar Soroban

The Problem Solved: Eliminates WASM bytecode bloat, missing require_auth state mutations, temporary storage leaks, and storage TTL expirations in CI before contracts hit mainnet.

Comprehensive Security Rules: Enforces 6 production invariant rules (SOROBAN-AUTH-01, SOROBAN-SAC-01, SOROBAN-STORAGE-02, SOROBAN-TTL-01, SOROBAN-MATH-01, SOROBAN-PANIC-01).

Instant Drop-In: Plug-and-play in any repository with uses: Ranjeet2063/soroban-guard-action@v1. 🔗 Repository: github.com/Ranjeet2063/soroban-guard-action • 🏛️ Release: v1.1.0

⭐ Flagship Open-Source Architecture: `soroban-agentkit`

Autonomous AI Agent Toolkit for Stellar Blockchain & Soroban Smart Contracts

Core Architecture: Bridges Large Language Models (LLMs) and autonomous agent frameworks (ElizaOS, LangChain, OpenAI Function Calling) directly with Soroban smart contracts.

Security & Cryptography: Client-side transaction signing with Ed25519 keypairs, zero-trust key isolation, and automatic Soroban XDR type serialization.

Ecosystem Impact: Powers AI-driven on-chain settlements, balance queries, contract simulations, and SAC asset transfers with natural language. 🔗 Repository: github.com/Ranjeet2063/soroban-agentkit • 📦 NPM Package: soroban-agentkit

🏆 Highlighted Production Contributions & Merged PRs

Proven track record across leading Web3, AI, and enterprise production codebases:

Organization / Project	Domain & Ecosystem	Highlights & Scope	Verified Status
Invoice Liquidity Network	Institutional DeFi & Liquidity Rails (Stellar)	PR #820 — E2E testnet smoke test resilience & semantic landmark fixes	🚀 PR #820 SUBMITTED
EduVault	Decentralized Educational Credentials (Stellar)	PR #212 — Centralized upload MIME policy, security runbooks & 25 unit tests	🚀 PR #212 SUBMITTED
zkpayroll	Zero-Knowledge Payroll Protocol (Stellar/Soroban)	22 Merged PRs across SDK & Smart Contracts (Treasury parsing, employee onboarding, recovery hints, receipt validators)	🟣 22 PRs MERGED
Axionvera Network	Decentralized Escrow & Settlement	5 Merged PRs (Deployment runbooks, MVP fixtures, vault smoke tests, initialization validators)	🟣 5 PRs MERGED
Epta-Node / ai-net	Decentralized AI Agent Coordination Network	PR #533 — Cargo workspace members, orphaned crate compilation & full CI pipeline	🟣 MERGED ON `main`
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`
TT-Metal (Tenstorrent)	Silicon AI Hardware (Jim Keller) ⭐ 5.5k+	PR #55213 — PyTorch top-k golden model lazy import optimization	🟣 MERGED ON `main`
Nepal Compliance	ERPNext Fiscal Compliance (Yarsa Labs)	PR #301 — Comprehensive internationalization & Nepali num2words fallback testing suite	🟣 MERGED ON `main`
ElizaOS / Eliza	Top Autonomous Web3 AI Agent Framework ⭐ 19.2k+	PR #30298 — `@elizaos/plugin-technocore` memory & agent kit	🏆 APPROVED by Maintainers

👉 View all 222+ Merged Pull Requests on GitHub

🚀 Flagship Projects & Published Packages

Project	Description	Tech Stack
InvariantForge	Dual-engine formal verification & SMT symbolic prover for smart contracts	Python • Halmos • Z3 SMT • Foundry EVM
AetherGuard	High-performance mathematical invariant firewall & financial OS for AI agents	Pure Rust • Soroban • ElizaOS • Anthropic MCP
soroban-guard-action	Automated WASM bytecode, gas budget & security CI auditor for Soroban	GitHub Actions • Docker • Rust • Soroban
soroban-agentkit	Autonomous AI agent toolkit & LLM tool bridge for Stellar & Soroban	TypeScript • Node.js • LangChain • ElizaOS
NepalPay	Unified, zero-dependency payment gateway SDK for eSewa (V2), Khalti (V2) & Fonepay	TypeScript • Web Crypto • Node • Bun
sorobanflow	Continuous real-time streaming payment & payroll protocol on Stellar	Rust • Soroban SDK • Smart Contracts