Lists (3)
Starred repositories
Lean 4 programming language and theorem prover
Verification layer of agent producing outputs. The missing layer for reliable and trusted agents. Critical for long horizon and autonomous agents. Multicatalyst.ai is acitvely developing this proje…
Shannon is an AI pentester for web applications and APIs. It analyzes your source code, identifies attack vectors, and executes real exploits to prove vulnerabilities before they reach production.
The Open-Source Multimodal AI Agent Stack: Connecting Cutting-Edge AI Models and Agent Infra
Open-source AI penetration testing tool to find and fix your app’s vulnerabilities.
The ultimate training toolkit for finetuning diffusion models
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
XLeRobot: Practical Dual-Arm Mobile Home Robot for $660
💖🧸 Self hosted, you-owned Grok Companion, a container of souls of waifu, cyber livings to bring them into our worlds, wishing to achieve Neuro-sama's altitude. Capable of realtime voice chat, Minec…
open-source coding LLM for software engineering tasks
MCP Toolbox for Databases is an open source MCP server for databases.
Official repository for the Boltz biomolecular interaction models
Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node
Production-grade Rust-native trading engine with deterministic event-driven architecture
Fully Local Manus AI. No APIs, No $200 monthly bills. Enjoy an autonomous agent that thinks, browses the web, and code for the sole cost of electricity.
The Memory Layer for AI Agents - Drop-in memory infrastructure for AI agents and apps. Context that persists. Built for production.
real time face swap and one-click video deepfake with only a single image
Official inference framework for 1-bit LLMs
The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬
Open-source speech recognition toolkit for training, inference, streaming ASR, VAD, punctuation, speaker diarization pipelines, and OpenAI-compatible/MCP serving.
[EMNLP2025] LightRAG: Simple and Fast Retrieval-Augmented Generation
Admin Dashboard UI built with Shadcn and Vite.
Generate a video script, voice and a talking face completely with AI
Official inference repo for FLUX.1 models
The python library for real-time communication