-
Beihang University
- Beijing, China
- https://orcid.org/0009-0005-0514-3582
- https://scholar.google.com/citations?user=wAb8YK0AAAAJ&hl
Popular repositories Loading
-
symkit-mcp
symkit-mcp PublicIt is an MCP server that lets AI agents perform step-by-step symbolic derivations: calculate, transform, verify, and store formulas with full provenance, all through conversation.
Python 12
-
superpowers-little
superpowers-little PublicA minimal, TDD-first skill set that distills Anthropic's Superpowers into six focused workflows for lightweight agentic coding.
-
deepseek-harness-desktop
deepseek-harness-desktop PublicWindows desktop shell for DeepSeek's agent harness CLI (dsh). The installer bundles Node.js and dsh, so the official Web UI runs as a native app with tray, notifications, and theme following. No pr…
Rust 2
If the problem persists, check the GitHub status page or contact support.
