Skip to content
View aravelo7's full-sized avatar

Block or report aravelo7

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
aravelo7/README.md

姚淑慧 / aravelo7

AI Agent · Software Systems · Backend Engineering

🎓 2027 Graduate Applicant — Open to graduate research opportunities

Information Security undergraduate at Hainan University.

Research interests: AI Agents · Coding Agents · LLM Systems · Intelligent Software Engineering · Agent Security

Currently looking for potential graduate advisors and research opportunities for Fall 2027.
目前正在联系 2027 级推免导师,欢迎 AI Agent、软件系统、智能软件工程及相关交叉方向的老师交流。

I build AI agent systems, backend services, and evaluation infrastructure, with a focus on controlled execution, tool calling, verification, and reliable LLM application engineering.

Featured Project

Coding Agent Runtime & Evaluation Harness for controlled, repository-level software repair.

  • Built a bounded Agent Runtime with multi-turn tool calling, state management, execution budgets, timeout/cancellation, and typed termination.
  • Added isolated Git workspaces, constrained repository tools, independent verification, execution traces, and evaluation artifacts.
  • Evaluated a frozen HAL SWE-bench Verified Mini fixed-50 configuration with the official evaluator: 35/50 officially resolved, 50/50 valid executions, with zero Harness-invalid or grading-invalid runs.
  • Built a local read-only Runtime & Evaluation Console for inspecting real execution traces, verification results, artifacts, and benchmark analysis.

View AgentPatchCheck →

Research Note

A follow-up empirical audit derived from APC's frozen fixed-50 runs, examining whether typed runtime termination can substitute for evaluator-derived resolution.

The mechanical proxy finished → resolved / non-finished → unresolved disagreed with the official evaluator on 12/45 binary-outcome runs (≈26.7%), with errors in both directions. The analysis supports separating runtime telemetry from evaluator verdicts while retaining termination reasons as diagnostic signals.

Open Source Contributions

Tech

Backend: Java · Spring Boot · Spring AI · Node.js

AI / Agent: Agent Runtime · Tool Calling · Agent Evaluation · RAG · MCP · Text2SQL

Data & Infrastructure: MySQL · PostgreSQL · Redis · Docker · Git

Frontend / Tooling: TypeScript · React · Vite

Pinned Loading

  1. AgentPatchCheck AgentPatchCheck Public

    Coding Agent Runtime & Evaluation Harness for controlled repository-level software repair

    TypeScript 37

  2. langchain4j/langchain4j langchain4j/langchain4j Public

    LangChain4j is an idiomatic, open-source Java library for building LLM-powered applications on the JVM. It offers a unified API over popular LLM providers and vector stores, and makes implementing …

    Java 13.1k 2.6k

  3. alibaba/spring-ai-alibaba alibaba/spring-ai-alibaba Public

    Agentic AI Framework for Java Developers

    Java 10.9k 2.4k

  4. 1Panel-dev/MaxKB 1Panel-dev/MaxKB Public

    🔥 MaxKB is an open-source platform for building enterprise-grade agents. 强大易用的开源企业级智能体平台。

    Python 22.9k 3.2k