Stars
All powerful skills of ClaudeKit.cc!
AI Agent Skills for idiomatic, production-ready Go code, distilled from Google, Uber, Community
A desktop app for isolated, parallel agentic development
Specification and documentation for Agent Skills
🧑🎨 A collection of Golang agentic skills that works
An AI SKILL that provide design intelligence for building professional UI/UX multiple platforms
AIDE: AI-Driven Exploration in the Space of Code. The machine Learning engineering agent that automates AI R&D.
The AI Scientist-v2: Workshop-Level Automated Scientific Discovery via Agentic Tree Search
A Tree Search Library with Flexible API for LLM Inference-Time Scaling
LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
Tool for data extraction and interacting with Lean programmatically.
A project to digitalise results from physics into Lean.
Research code base for Automatic Textbook Formalization
Lean 4 programming language and theorem prover
High performance self-hosted photo and video management solution.
Run agents like Hermes and OpenClaw more securely inside NVIDIA OpenShell with managed inference
Codebase intelligence for AI and humans: code health scores, auto-generated docs, git analytics, dead code detection, and architectural decisions via MCP.
A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…
Muon is an optimizer for hidden layers in neural networks
Harbor is a framework for running agent evaluations and creating and using RL environments.
Geziyor, blazing fast web crawling & scraping framework for Go. Supports JS rendering.
Comprehensive documentation for Hermes Agent by NousResearch — the self-improving AI agent (v0.2.0)