Loading repository…
Loading repository…
Formally Verified Arguments of Knowledge in Lean
RepoRank
0Momentum score used on the leaderboard — stars, boosts, growth, and freshness combined.
GitHub stars
No change (24h)
Total stargazers on the public repository.
Momentum
Momentum increasing
Tracked since May 2026 · RepoRank indexing history
Developer
Listing owner and GitHub contributors for this repository
Contributors
Contribution counts from GitHub; last active uses each author's latest commit on the default branch.
Last active: 5 weeks ago
Last active: 7 months ago
Last active: yesterday
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
87
Stars
71,846
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.
Last active: 2 weeks ago
Last active: 2 weeks ago
Last active: 7 weeks ago
Last active: 3 months ago
Last active: 1 years ago
Last active is loaded for the top 8 contributors only (one GitHub request each).
AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a queryable knowledge graph. App code + database schema + infrastructure in one graph.
Score
87
Stars
72,786
