Command-line program to download videos from YouTube.com and other video sites

🚀 Level up your GitHub profile readme with customizable cards including LOC statistics!

Open-source infrastructure for Computer-Use Agents. Sandboxes, SDKs, and benchmarks to train and evaluate AI agents that can control full desktops (macOS, Linux, Windows).

Context retrieval for AI agents across apps and databases

The most accurate document search and store for building AI apps

🦛 CHONK docs with Chonkie ✨ — The lightweight ingestion library for fast, efficient and robust RAG pipelines

✨ Build a machine learning model from a prompt

An MCP server that autonomously evaluates web applications.

Production-Ready MCP Server Framework • Build, deploy & scale secure AI agent infrastructure • Includes Auth, Observability, Debugger, Telemetry & Runtime • Run real-world MCPs powering AI Agents

Next Generation Experimental Tracking for Machine Learning Operations

A Python library for LLM-based evaluation using weighted rubrics.

A few python scripts for logging how much time I've worked on some project.

a python script to help debug setoid_rewrite failures in coq