Rank 31AxiomCode
Verifiable intelligence for AI software engineering. Everything starts with a formally grounded code graph.
50–1,999 stars · gains since the previous 8-hour cycle · updated every 8 hours · Methodology
8h + shows stars gained since the previous cycle · ★ shows total stars
Cycle Nov 10, 00:00 KST · next scheduled Nov 10, 08:00 KST
Verifiable intelligence for AI software engineering. Everything starts with a formally grounded code graph.
One OpenAI-compatible AI gateway for production AI — adaptive routing, load balancing, guardrails, agent firewall, observability and governance across 200+ models.
Open Net Worth is an open-source personal AI wealth assistant you run yourself: one ledger for your whole financial life, worked by an AI agent you control.
Self-evolving second brain with 35 AI skills, 10 agents, and people CRM. Closed-loop harness: a V-model verification lifecycle where the worker never grades its own homework. Plus paired anti-slop des
Secure and persistent computer for AI agents
Search any game and see how much of it you can play with friends: every co-op mod, its stage, quality and community rating.
Curated reverse-engineering tools and learning resources for binaries, apps, firmware, formats, and protocols.
Rune is a fast, open-source, keyboard-driven IDE for power users. The Unix way, finished as a product: code, terminals, CLI tools, language intelligence and AI agents, all in one composable, multi-wor
A Claude skill for directing, building and verifying code-rendered videos (HTML/Canvas → MP4): principles, gated workflow, QA scripts and evals.
Continue your work in a new session without restating decisions, constraints, and progress.
AI translation
PandaCode: a calm desktop workspace for coding agents
Run large AI models on your own PC: Qwen3.8-Flash-Next on Strata's engine, and GLM 5.3 Flash, DeepSeek V4 Flash, LFM2.5, Qwen3.6, Ornith 1.5, Gemma 4, Tiel Coder and MiniCPM-V on a second engine writt
Reuse compiler work across Rust worktrees and CI without changing how you use Cargo.