Lists (1)
Stars
The open-source managed agents platform. Turn coding agents into real teammates — assign tasks, track progress, compound skills.
MiroThinker is a deep research agent optimized for complex research and prediction tasks. Our latest models, MiroThinker-1.7 and MiroThinker-H1, achieve 74.0 and 88.2 on the BrowseComp, respectively.
Benchmark for undergraduate-level formal mathematics
An agentic skills framework & software development methodology that works.
Clone any website with one command using AI coding agents
OpenShell is the safe, private runtime for autonomous AI agents.
The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search
Building a modern alternative to Salesforce, powered by the community.
AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement
This is the official code for the paper CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning (NeurIPS22).
This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findings).
800,000 step-level correctness labels on LLM solutions to MATH problems
The premier source of truth powering network automation. Open source under Apache 2. Try NetBox Cloud free: https://netboxlabs.com/products/free-netbox-cloud/
A framework for automated testing of network analysis and verification tools.
Train the smallest LM you can that fits in 16MB. Best model wins!
Sky-T1: Train your own O1 preview model within $450
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming
A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物
Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.
AI-Driven Scientific and Algorithmic Discovery
mini cli search engine for your docs, knowledge bases, meeting notes, whatever. Tracking current sota approaches while being all local
Symphony turns project work into isolated, autonomous implementation runs, allowing teams to manage work instead of supervising coding agents.
A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.