Published project and research activity, ordered by time.
ProofNote
ProofNote v3.1.0-rc.1 is now publicly available under the MIT License. The release includes the structured editor, Solution Note Format 1.0, the bilingual interface, tiered diagnostics, examples, tests, and standalone offline HTML export.
View projectSMRA — VibeThinker-3B Reasoning Amplifier
The reasoning-enhancement project for the VibeThinker-3B small model officially began, exploring a software system that can improve small-model performance through a fixed baseline, reproducible evaluation, and staged validation.
View researchLumen Agent Platform
Lumen officially began as a local-model chat client, then gradually developed into a local-first AI work platform spanning Chat, Test, Agent, tools, evidence systems, and persistent tasks.
View project