Nefelibata (n.)
A cloud walker; one who does not obey the conventions of society, literature, or art, but follows their own path.

I write code to document thoughts, capture time, and build tiny virtual spaces that feel alive. I don't fit into a single box. Today I might be designing a minimalist user experience; tomorrow I could be deep in a network protocol trace or exploring the latent space of generative models.

To me, software engineering is not just about solving tickets — it is a form of craftsmanship, a canvas where logic meets intuition.

• 🌌 Aesthetic & Order: Passionate about minimalist design, architectural neatness, and finding order within high-entropy systems.
• 🔭 Cosmos & Exploration: Deeply captivated by observational astronomy, celestial ephemeris, and planetary dynamics.
• ☕ Beyond the Console:
  • 📖 Mind & Humanities: History, philosophy, reading, and cinema.
  • 🎮 Interactive Arts & Play: Competitive gaming, music, anime/ACG culture, and football (soccer).
• 🎯 Current Focus: LLM Agent Workflows (MCP / Harness Eng) · High-Concurrency Microservices

_{Contribution records above link directly to verified merged PR queries across official repositories.}

Modular open-source contribution infrastructure for autonomous AI coding agents.

• Tech Stack: TypeScript · Bun · Model Context Protocol (MCP) · ast-grep · Git Worktrees
• Engineering Highlights:
  • Deterministic Domain Engine: 24 CLI subcommands and 34 MCP tools providing AI agents with defect probes, sandboxes, and RFC-100 governance.
  • Empirical Evidence & Triage: Dual-stage verification with concurrent contention testing and 150-token Smart Pointer slice dereferencing.

Enterprise-grade distributed microservice e-commerce system built for high-concurrency scenarios.

• Tech Stack: Java 21 (LTS) · Spring Boot 3.3 · Spring Cloud Alibaba · RocketMQ · Redis · Vue 3
• Engineering Highlights:
  • High-Concurrency Architecture: Global Java 21 virtual threads, zero-RPC gateway auth offloading, and Redisson watchdog anti-overselling locks.
  • Multilevel Caching: L1 Caffeine + L2 Redis annotation-driven cache with RocketMQ broadcast invalidation.

Multi-domain interpretable AI reasoning suite powered by deterministic ephemeris and evidence graph arbitration.

• Tech Stack: Next.js 16 · React 19 · TypeScript · Vercel AI SDK · Moshier Ephemeris
• Engineering Highlights:
  • 4-Tier Decoupled Architecture: Strictly isolates deterministic domain rules from LLM generation to eliminate hallucination.
  • Canonical Evidence Graph (CEG): Deterministic multi-dimensional evidence scoring and cross-domain temporal conflict arbitration.

AI-powered contract loophole & conversation risk analysis workbench (TRAE AI Creativity Contest Featured Project).

• Tech Stack: React 18 · Express · TypeScript · TailwindCSS · Zod · Gemini API
• Engineering Highlights:
  • 5-Layer DDD Clean Architecture: Strict domain boundaries with runtime Zod schema validation and self-reflection loops.
  • Transparent Risk Dashboard: 3-tier risk classification with actionable remediation and offline deterministic heuristic fallback.

High-concurrency video feed and social interaction backend service (ByteDance Youth Camp).

• Tech Stack: Golang · Gin · GORM · MySQL · Redis
• Engineering Highlights:
  • Feed & Relation Pipeline: High-throughput video stream querying, user interaction caching, and relation graph transaction handling.
  • Storage Optimization: Multi-tier Redis caching and MySQL indexing strategies for low-latency social feed delivery.

Local-first voice diary & cross-generational family story preservation suite.

• Tech Stack: React Native (Expo) · Next.js · SQLite · Supabase · Silero VAD
• Engineering Highlights:
  • Local-First Audio Engine: Streaming voice activity detection (Silero VAD) with offline SQLite synchronization.
  • Cross-Platform Console: Next.js web curation dashboard backed by Supabase storage and row-level security.

👀 Profile Views