Skip to content
View Hilbert-beinghappy's full-sized avatar
13 followers · 3 following
  • China University of Geosciences (Wuhan)
  • Wuhan, China

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: Starstruck

Block or report Hilbert-beinghappy

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.

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
Hilbert-beinghappy/README.md

SeekTTY — Keyboard-first terminal interface for DeepSeek Harness.

Clarify — Review-first clarification, off transcript and never auto-sent.

Auxiliary Runtime — Cancellable auxiliary inference with isolated usage accounting.

Research

research-agent — Local-first research agent built on Pi.

lean-descriptive-set-theory — Lean 4 and mathlib formalization of descriptive set theory.

Notes & upstream

note-in-fzu — Undergraduate course notes from Fuzhou University.

Yuki-QQbot — Upstream contributor.

GitHub issues and pull requests are the best way to reach me.

Pinned Loading

  1. seektty seektty Public

    Pluggable DeepSeek-colored TUI for DeepSeek Harness

    TypeScript 90 3

  2. YuanYeYouTao/Yuki-QQbot YuanYeYouTao/Yuki-QQbot Public

    一个基于 NoneBot2, OneBot v11, Docker, and OpenAI-compatible LLM APIs 的 QQ聊天 AI agent

    Python 12 4

  3. dsh-plugin-clarify dsh-plugin-clarify Public

    Off-transcript clarification Host plugin for DeepSeek Harness

    TypeScript 4

  4. dsh-plugin-auxiliary-runtime dsh-plugin-auxiliary-runtime Public

    Auxiliary inference usage, limits, and cancellation runtime for official DeepSeek Harness plugins

    TypeScript 3

  5. note-in-fzu note-in-fzu Public

    福州大学本科课程笔记 / Undergraduate course notes from Fuzhou University

    TeX 36 3