VIEW

SYSTEMS, AI AGENTS & SECURITY

SCROLL
TO EXPLORE
B.TECH CSE (2027) • SYNERGY INSTITUTE, DHENKANAL, ODISHA
BY MUKTI PRASAD MISHRA
8 OPEN-SOURCE PROJECTS
// ARCHITECTURAL THESIS

WHY BUILD AT THE EDGES?

00 // PROFILE OVERVIEW

Third-year Computer Science & Engineering student at Synergy Institute of Engineering and Technology, Dhenkanal, with deep hands-on experience shipping production-grade open-source tools across Rust systems tooling, Python AI agents, Windows/Linux/macOS endpoint security, and offline-first Android apps.

01 // KERNEL & SYSCALL BOUNDARY

DETERMINISTIC KERNEL &
ENDPOINT DEFENSE

Catching malicious behaviors in user-space is already too late. Sentinel Antivirus and InstallScope operate at the syscall boundary using Linux eBPF, strace, fanotify, FSEvents, ETW, and Windows kernel minifilter concepts to intercept credential reads, volatile memory injections, and unauthorized process spawns.

02 // NON-AUTOREGRESSIVE INFERENCE

SUB-35MS SYSTEM-1
AGENT DECISIONS

Autoregressive LLMs are slow and poorly calibrated on fast coding options. Cortex-1 Large trains a non-autoregressive ModernBERT-Large (421M) prefrontal cortex with dynamic marker-token pooling — executing single forward passes in ~32.8 ms on consumer GPU with 79.73% accuracy vs 45.50% API baseline (Brier 0.097 vs 0.369).

03 // FAST-PATH FILTERING

5-TIER HIERARCHICAL
EDR TRIAGE (<5 MS)

Running heavy deep learning on every routine file wastes CPU cycles. Sentinel Antivirus filters >98% of routine files in under 5 ms (Hash Cache → Authenticode → YARA → Lightweight PE), running 2,568-dimensional EMBER2024 LightGBM inference (~180 ms) exclusively on suspicious binaries.

04 // FORMAL VERIFICATION GATES

HONESTY OVER ACCURACY
& TRUST AUDITING

From DBAgent's sqlglot AST + EXPLAIN verification gates and confidence circuit-breakers to Agent-Commerce Trust Auditor and Fake Urgency Checker, every tool is built with read-only defaults, SSRF protection, and formal verification.

MUKTI SHIPS REAL SYSTEMS

All 8 independently designed open-source projects from github.com/mukti-sys — shipped end-to-end from architecture and model training to CI pipelines, PyInstaller/systemd packaging, and published Hugging Face weights.

HORIZONTAL SHOWCASE // 08 VERIFIED REPOSITORIES
github.com/mukti-sys/sentinel-antivirus
6★ • MIT
SENTINEL EDR
>98% FILTERED <5MS
1.HASH
Cache
2.AUTH
Cert
3.YARA
Rules
4.PE_LIGHT
<5ms
5.EMBER24
~180ms
RUST SIMD + LIGHTGBM
↗
01. Sentinel Antivirus — Cross-Platform Endpoint Protection Engine
Python + Rust • Windows / Linux / macOS • 2,568-dim EMBER2024 • Kernel Minifilter
github.com/mukti-sys/InstallScope 3★ • 1 FORK
840K+ SYSCALLS
250 NPM INSTALLS
[strace/eBPF] Captures writes, sockets, spawns & credential reads
[version-diff] Content-addressed diff cuts maintainer alert fatigue
[ci-security] Two-workflow least-privilege GitHub Action + SARIF PRs
RUST • LINUX EBPF / STRACE
↗
02. InstallScope — Flight Recorder for Package Installs (CI Security)
Rust • Linux (strace / eBPF) • Behavioral Version-Diff • SARIF PR Reporting
github.com/mukti-sys/cortex-1-large BRIER 0.097 VS 0.369
79.73% SWE-BENCH
~32.8 MS SINGLE PASS
Cortex-1 Large (ModernBERT-Large 421M)79.73% (444 pairs)
Comparable Live API Baseline45.50%
HUGGING FACE WEIGHTS
↗
03. Cortex-1 Large — Sub-35 ms System-1 Decision Engine
Python • PyTorch • ModernBERT-Large (421M) • Dynamic Marker-Token Pooling
github.com/mukti-sys/DBAgent HONESTY > ACCURACY
HONEST TEXT-TO-SQL
EXPLAIN & AST GATED

Intent reconstruction with glossary, embedding schema retrieval + drift detection, sqlglot AST validation, EXPLAIN verification, confidence gate that refuses when uncertain, and concurrency circuit-breaker.

LITELLM • SQLGLOT • SQLALCHEMY
↗
04. DBAgent — Honest Text-to-SQL Agent
Python • LiteLLM • sqlglot • SQLAlchemy • Read-Only & Injection Defense
github.com/mukti-sys/OldPhoneCompanion ZERO NETWORK • MIT
OLDPHONE HEALTH
& SECURITY AUDITOR

Answers "Is my old phone still healthy?" and "Is anything quietly working against me?" — display/sensor test suites, installed-app permission risk scoring, security-patch EOL warnings, and local trend history.

KOTLIN • JETPACK COMPOSE • M3 ↗
05. OldPhone Companion — Android Health & Security App
Kotlin • Jetpack Compose • Material 3 • Room • 100% On-Device
github.com/mukti-sys/fake-urgency-checker SSRF-PROTECTED • MIT
FAKE URGENCY
DARK-PATTERN DETECTOR

Fetches product pages via secure SSRF-protected proxy and detects fake countdown timers, phantom "X people viewing" counters, and known dark-pattern plugins (Hurrify, Beeketing, Fomo), returning FAKE / SUSPICIOUS / CLEAN verdicts.

NODE.JS • VITE / REACT
↗
06. Fake Urgency Checker — Dark-Pattern Detector for E-Commerce
JavaScript (Node.js + Vite/React) • SSRF-Protected Proxy • Plugin Fingerprinting
github.com/mukti-sys/agent-commerce-trust-auditor 0–100 TRUST SCORE
AGENT-COMMERCE
TRUST AUDITOR

Scans e-commerce storefronts the way an AI shopping agent would — scoring Legibility (schema.org consistency), Consistency (anti-cloaking), and Safety (hidden text & prompt-injection attempts) with a before/after demo store.

PLAYWRIGHT • REACT • ANTI-INJECTION
↗
07. Agent-Commerce Trust Auditor — AI Storefront Security Scanner
JavaScript • Playwright • React • Prompt-Injection & Cloaking Detection
github.com/mukti-sys/Focus-Sleep-Timer-App ANDROID WELLBEING
TERRA FOCUS
FOCUS & SLEEP ENGINE

Extends Android Digital Wellbeing with up to 2h break intervals, silent background engine, automatic media pause + screen-off + lock on timer expiry via Accessibility Service & exact alarms.

KOTLIN • ACCESSIBILITY SERVICE ↗
08. Terra Focus — Focus Mode & Sleep Timer for Android
Kotlin • Jetpack Compose • Accessibility Service • Exact System Alarms

Want to test Sentinel EDR, InstallScope, Cortex-1 & DBAgent live?

EXPLORE GITHUB.COM/MUKTI-SYS

Seeking a paid internship (Remote / Odisha / India)? Hire Mukti

SO WE BUILT
SYSTEMS CODE
AS IT SHOULD BE
ENTER MUKTI

Mukti engineers production-grade open-source tools in endpoint security, systems programming, AI agents, and Android development. Built with Rust, Python, PyTorch, and Kotlin, with a strong bias toward measurable benchmarks and least-privilege design. Crafted by github.com/mukti-sys.

Seeking a paid internship (Remote / Odisha / India)? Email mishramukti182@gmail.com or .

MUKTI BRINGS
THE HEAT

01
LANGUAGES
PYTHON, RUST, KOTLIN,
TYPESCRIPT, DART & C/C++
02
AI & ML
PYTORCH, MODERNBERT (32.8MS),
LIGHTGBM & HUGGING FACE
03
KERNEL SECURITY
YARA, PEFILE, MINIFILTER,
STRACE / EBPF & ETW
04
ANDROID NATIVE
JETPACK COMPOSE, M3,
ROOM & ACCESSIBILITY API
05
WEB & AGENTS
NODE.JS, REACT / VITE,
PLAYWRIGHT & SQLGLOT AST
06
EVAL & METRICS
79.73% SWE-BENCH (BRIER 0.097)
& 840K+ SYSCALLS TRACED
07
DEVOPS & CI
CARGO, GRADLE, PYTEST,
DOCKER & GITHUB ACTIONS
Copied mishramukti182@gmail.com to clipboard