A search engine for Lean 4 declarations

Lean 4 theorem proving skill and workflow pack for AI coding agents

A MCP for searching and downloading academic papers from multiple sources like arXiv, PubMed, bioRxiv, etc.

MCP server for VirusTotal API — analyze URLs, files, IPs, and domains with comprehensive security reports, relationship analysis, and pagination support.

Fastest, smallest, and fully autonomous AI assistant infrastructure written in Zig

Why is this running?

Minimal open-source implementation of AlphaProof and HyperTree Proof Search.

A MCP server for our beloved terminal multiplexer tmux.

Lightpanda: the headless browser designed for AI and automation

Fastest enterprise AI gateway (50x faster than LiteLLM) with adaptive load balancer, cluster mode, guardrails, 1000+ models support & <100 µs overhead at 5k RPS.

A list of MCP gateways

A list of MCP gateways

The best ChatGPT that $100 can buy.

Fully autonomous AI hacker to find actual exploits in your web apps. Shannon has achieved a 96.15% success rate on the hint-free, source-aware XBOW Benchmark.

Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

"🐈 nanobot: The Ultra-Lightweight OpenClaw"

Slack Agent Template built with Nitro

Agent Zero AI framework

Rapida is an open-source, end-to-end voice AI orchestration platform for building real-time conversational voice agents with audio streaming, STT, TTS, VAD, multi-channel integration, agent state m…

Advanced Asana MCP Server with batch operations, direct section assignment, and selective tool activation for efficient AI-powered project management. https://www.npmjs.com/package/@n0zer0d4y/asana…

An awesome browser extension that reads aloud webpage content with one click

A customizable read mode web extension.

TensorZero is an open-source stack for industrial-grade LLM applications. It unifies an LLM gateway, observability, optimization, evaluation, and experimentation.

Local, open-source AI app builder for power users ✨ v0 / Lovable / Replit / Bolt alternative 🌟 Star if you like it!

MCP server exposing SSH control for Linux servers via Model Context Protocol.

A production-ready SaaS template built with Next.js 15, Supabase, and Tailwind CSS. Includes authentication, user management, file storage, task management demos, and secure RLS policies. Now with …

A calm, CLI-native way to semantically grep everything, like code, images, pdfs and more.

The Ulimate Nextjs Starter Kit. Build your next SAAS product of your dreams. Batteries included.