Loading repository…
Loading repository…
hey this is test git repository
RepoRank
0Momentum score used on the leaderboard — stars, boosts, growth, and freshness combined.
GitHub stars
+127 (24h)
Total stargazers on the public repository.
Developer
Listing owner and GitHub contributors for this repository
Discover
Other trending projects on RepoRank—hand-picked from high-momentum listings so you can keep exploring.
🎨 Local-first, open-source alternative to Anthropic's Claude Design. ⚡ 19 Skills · ✨ 71 brand-grade Design Systems 🖼 Generate web · desktop · mobile prototypes · slides · images · videos · HyperFrames 📦 Sandboxed preview · HTML/PDF/PPTX/MP4 export 🤖 Runs on Claude Code / Codex / Cursor / Gemini / OpenCode / Qwen / Copilot / Hermes / Kimi CLI.
Score
120
Stars
38,514
Claim status
This listing is not linked to a verified owner yet. Claim it to manage the profile, unlock dashboard tools, and activate a verified website link that can strengthen your visibility in Google.
Formally Verified Arguments of Knowledge in Lean
Score
57
Stars
269