hao-ai-lab/veriserve
Disaggregated Prefill-Decode LLM serving engine on mini-sglang with a proved KV page state machine (PdLedger)
GitHub repository with 13 stars and 0 forks.
Language: TLA
24h trend summary
Trending score 0.59, freshness score 0.54, stars gained +2, forks gained +0.
Latest metric snapshot
2026-11-15: 13 stars and 0 forks.