Henry Zhang
Community@gzmomo001 · WenZhou Kean University
I'm a student learning in WenZhou Kean University. I will graduate in 2027.
Agent Skills by Henry Zhang
Showing 15 vetted skills indexed across 2 GitHub repositories.
pintos-test-analyzer
Run Pintos tests in Docker and retrieve failure artifacts for debugging.
pintos-sync-auditor
Audit Pintos kernel source code for correct locking and interrupt handling.
pintos-user-memory-validator
Validate user pointers in Pintos system calls to prevent illegal memory access.
pintos-c-formatter
Format Pintos C source and header files to meet style guidelines.
pintos-page-allocator
Audit Pintos kernel source code for palloc_get_page usage and error handling.
pintos-list-scaffolder
Generate list.h traversal and modification code for Pintos kernel sources.
pintos-syscall-scaffolder
Generate Pintos syscall boilerplate with safe argument handling and dispatch integration.
pytest-test-runner
Run and debug pytest tests for FastAPI/RAG projects across local and CI environments.
docker-compose-debugger
Diagnose Docker Compose failures across app and database services.
health-check-auditor
Diagnose anti-fraud RAG system health across API, database, and embedding services.
ruff-lint-fixer
Run Ruff lint checks, apply auto-fixes, and report remaining violations.
fastapi-endpoint-scaffolder
Generate FastAPI endpoint scaffolds with router, service, model, schemas, and tests.
data-bulk-importer
Bulk import cases and tips from JSON/CSV files into the antifraud RAG platform.
sqlalchemy-model-generator
Generate SQLAlchemy models with pgvector embeddings and BM25 indexing.
rag-retrieval-debugger
Diagnose and fix hybrid retrieval pipeline issues in antifraud RAG systems.