QINGDAO · DIGITAL PRODUCTS & RESEARCH
青岛果冻先生网络科技有限责任公司 was founded in Qingdao in 2017. We develop games, AI systems, and personal digital tools that people can use directly and keep using over time.
SELECTED PRODUCTS
Our products span games and personal AI tools. Each serves a different use case, starts from the experience people actually have, and is revised through continued use.
VAULTREAVE is a 2D pixel dungeon game built around the decision to keep exploring or extract. Choose a class, fight and collect loot in a changing dungeon, then decide when the risk is worth taking. It runs directly in the browser with no download.
Aethmere is a personal context system for long-running AI collaboration. It helps people manage goals, project material, and important decisions so work across devices and tasks does not repeatedly start from zero.
RESEARCH PROJECTS
Alongside product development, we study how mathematical knowledge can be organized reliably and how individuals can regain control of their attention. Each project states its goals, method, and limits without presenting ongoing exploration as a finished result.
A long-term engineering project for mathematical knowledge. Stable identities, dependency links, source records, and formal proof tools show what each statement is, what it depends on, and how far it has been verified.
Research boundaryCatalog inclusion does not replace proof, and numerical experiments are not presented as established theorems.
A personal attention-infrastructure project that studies how public content can be analyzed with user permission. Evidence-based, explainable, and reversible rules help people label, fold, or hide low-value material. The goal is to save attention, not extend time on site.
Research boundaryThe project does not score people or personalities and does not build a centralized web-wide blacklist.
HOW WE BUILD
From the feedback of an attack in a game to the clarity of an answer, a feature is complete only when people can genuinely experience it.
We care whether products can stay useful and continue to evolve, giving content, systems, and worlds a durable life.
Usable versions, reviewable evidence, and clear project status show what has been achieved and what remains under study.
ABOUT MR. JELLY
青岛果冻先生网络科技有限责任公司 is a technology company focused on digital product development. We bring creative work, art, engineering, and verification into one product process, publish games and intelligent tools people can use directly, and pursue long-term research in mathematical knowledge engineering and personal attention infrastructure.