Software engineer & open-source contributor
MuhammadIshaqKhan
Software engineer building ProxiCall — a production Flutter super-app — alongside backbencher.cc, my AST-native code intelligence platform. Code merged into VS Code and Flutter.
About
I'm a software engineer based in Budapest and a Computer Science graduate of Eötvös Loránd University (ELTE). Right now I'm building ProxiCall — a production Flutter proximity super-app with Stripe Connect payments, geo-fencing, and 32-language auto-translation.
Alongside it I develop backbencher.cc, an AST-native code intelligence platform that indexes codebases into a queryable knowledge graph with 13 brain tools. I've contributed to VS Code (performance) and Flutter (security hardening), and my BSc thesis on OSINT-enhanced phishing detection reached 96.45% accuracy.
Experience
Founder & Developer
backbencher.cc
Building an open-core AST-native code intelligence platform. Indexes codebases into a queryable SQLite knowledge graph with 13 brain tools for semantic search, call-graph traversal, AST-precise refactoring, and security scanning across 38 languages.
Full-Stack Developer
ProxiCall
Developing a production Flutter proximity super-app with Stripe Connect payments, geo-fencing, 32-language auto-translation, and geo-targeted notifications with AI segmentation. Built 5 integrated systems: CMS, PMS, OMS, NMS, and ENS.
GitHub
Open Source
Selected Work
backbencher.cc (bb)
My primary project — an open-core AST-native code intelligence platform that indexes entire codebases into a local SQLite knowledge graph. Ships with 13 brain tools for semantic search, call-graph traversal, AST-precise refactoring, architectural pattern detection, cross-language migration, and security scanning across 38 languages.
- 13 brain tools (bb_search, bb_select, bb_refactor, bb_security, bb_migrate, bb_relationships, bb_patterns, bb_visualize, bb_ask, bb_update, bb_insert, bb_delete)
- 38-language AST parsing via Tree-sitter
- Offline semantic search with word vectors
- Beats Copilot on compiler-level code reasoning — benchmarked against TypeScript (VS Code) and Roslyn codebases
hide-and-lock
CLI utility for encrypting sensitive files with session-based isolation and master key recovery.
Toolkit
Languages
TypeScript
JavaScript
Python
Dart
C++
Shell/Bash
PowerShell
SQL
HTML/CSS
JavaFrameworks
Flutter
Next.js
React
Node.js
Express
Tailwind CSSFlutter Bloc
tRPCMobile
Android
Firebase SDK (Auth, Firestore, Storage, Functions, Messaging)
Google Sign-In
Stripe ConnectGeolocatorPush NotificationsAI / ML
scikit-learnNLPSHAPOSINT enrichmentWord Embeddings
Tree-sitter ASTSemantic Search
OpenAI API
Google AI StudioGitHub CopilotClaude CodeOpenCodeSecurity
Kali Linux
MetasploitNessus
Nmap
OnionShareParrot Security
PGP/GPGPhishingrecon-ng
SecureDropSpiderFoot
Tails OSVulnerability scanning (SQLi, XSS, secrets)
WiresharkPlatforms
SupabaseFirebaseStripe
Docker
GitHub ActionsSST (Serverless Stack)SQLite
PostgreSQL
SentryMapboxBrevoZoho
Vercel
NetlifyOperating Systems
macOS
WindowsTools
Git
VS Code
Bun
npm/pnpmTree-sitterLSPMCP
curl/jqEducation
Selected for BSc Computer Science at Tsinghua University — full scholarship
Eötvös Loránd University (ELTE)
BSc Computer Science
- Faculty of Informatics
- Thesis: Phishing Detection Using OSINT-Enhanced Features
- Stipendium Hungaricum scholarship
Balochistan Residential College Loralai (BRC)
ICS (Intermediate in Computer Science)
- Balochistan Board of Intermediate & Secondary Education
- Provincial Topper
Bookshelf
73 books across existentialist philosophy, modern non-fiction, Sufism, Urdu Islamic scholarship, and Pashto poetry.
The Brothers Karamazov
Fyodor Dostoyevsky
Notes from Underground
Fyodor Dostoyevsky
White Nights
Fyodor Dostoyevsky
The Stranger
Albert Camus
The Metamorphosis
Franz Kafka
A Hunger Artist
Franz Kafka
A Hunger Artist
Franz Kafka
Letters to Milena
Franz Kafka
The Kite Runner
Khaled Hosseini
A Thousand Splendid Suns
Khaled Hosseini
And the Mountains Echoed
Khaled Hosseini
The Alchemist
Paulo Coelho
Animal Farm
George Orwell