CJX0712/starforge-ai-verifiable
StarForge 星炉 · 零依赖纯 ESM JavaScript 世界顶级 AI 引擎 — 线性代数/自动微分/Muon 优化器/ML 全集/字符级 MiniGPT/BM25+LSA 检索/强化学习/神经-符号认知智能体 · 129 项不变量自检 + 49 项基准 · 作者 晨星
GitHub Topics
Language breakdown (by bytes)
Why this is classified AI-related
The AI relevance score checks four places for AI keywords and adds the weight of each one that matches. Full methodology
Total AI relevance score: 100 / 100
Position among AI repos in the same language
We track 6,672 JavaScript repos, of which 5,216 score 40 or above on AI relevance. 1,185 have more stars than this one (top 17.8%), and 0 score higher (top 0.0%).
Owner
✦ TIANJI author · 287 repos · Verification-first AI: zero-rewrite composition of world-class algorithms, invariants checked in public CI. MIT
Dates
| Created on GitHub | 2026-10-25 |
| Last push | 2026-10-25 |
| First seen here | 2026-10-25 |
| Last fetched | 2026-10-25 16:10 |
Similar repos (same language)
Local-first desktop widget for tracking token usage, costs, and limits across 43+ AI coding tools—including Claude Code, Codex, Cursor, OpenCode, OpenClaw, and more—with multi-device sync.
Doorman11991/smallcodeAI coding agent optimized for small LLMs. 87% benchmark with 4B-active model.
keli-wen/agy-staffHire Google's Antigravity CLI (agy) as a fast Gemini staffer for Claude Code and OpenAI Codex.
asen-goat-mine/boujoy-harnessA knowledge-linked local AI harness with macOS support and a Windows Beta launcher.
Nwflower/dsh-chat-importImport conversation history from 25+ AI coding agents into DeepSeek Harness as resumable sessions — tool calls, reasoning and results kept intact, with reverse export and sync. | 把 25+ AI 编程 Agent 的聊天记录导入 DeepSeek Harness 继续对话，保留工具调用、推理与结果，支持反向导出与同步。
mihneaptu/opencode-fusionMain agent plans and reviews; cheaper sidekick edits. Devin Fusion pattern for OpenCode
AkariLabs/akari-videoAKARI Video — AI video editing tool (Theia-based monorepo) · Site: akari.video · Asset library: akari.video/lab
oil-oil/vibe-hub-skill在编程交流中识别专业术语，提供通俗解释和可追溯的术语链接，帮助准确表达需求。