Stars
A flagship 560-billion-parameter open-source MoE model that advances Native Formal Reasoning in Lean4 for Mathematics Formalization and Proving through agentic tool-integrated reasoning.
Multi-agent manager for secure code and claw agents. Coordinate agents across projects and tasks.
Unified Schema-Based Information Extraction
Independent ground-up Rust reimplementation of SQLite with concurrent writers and information-theoretic durability
Training neural networks on Apple Neural Engine via reverse-engineered private APIs
Remote Shell Environment: A modern Mosh replacement over QUIC
Give your agents the power of the Hugging Face ecosystem
A modern web application for creating and animating ASCII art
🚀 K8s Agent Orchestration System: Managing the KAOS in your large-scale distributed multi-agent systems
Parametric CAD in Rust — CSG modeling with multi-format export
GitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a GitHub repo or ZIP file, and get an interactive …
A security-focused library OS supporting kernel- and user-mode execution
A minimal, secure Python interpreter written in Rust for use by AI
ASTRA is an end-to-end system for synthesizing agentic trajectories and rule-verifiable environments for SFT and RL training, developed by Beike Language and Intelligence (BLI).
A tool to use the Ai2 Open Coding Agents Soft-Verified Efficient Repository Agents (SERA) model with Claude Code
Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured
LFM2-powered research agent | Automated Related Work & citations | Semantic Scholar + arXiv
A General-Purpose AI Agent written in Javascript for the Bun Runtime
[NeurIPS 2025] Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
The WeightWatcher tool for predicting the accuracy of Deep Neural Networks