llm-meta-ai github.com ↗

A command-line tool for prompting various language models.

A convention for publishing an LLM-friendly markdown index of a site's documentation.

MCP tooling that lets LLM agents edit Clojure code and interact with a REPL.

A terminal coding assistant described as the successor to Aider.

A TeX distribution for macOS.

A minimal formal proof language and database of formalized mathematics.

OpenAI's conversational AI assistant.

A Linux GPU configuration and monitoring tool for adjusting clocks and power limits.

An extensible terminal coding agent that can switch between models.

A self-hostable community-driven software forge.

An open-source terminal coding agent harness.

A tool to run multiple agents on one project in separate git worktrees.

Anthropic's terminal-based coding agent harness.

An app store distributing free and open-source Android apps.

A peer-to-peer code collaboration stack built on Git.

An open-source alternative client for downloading apps from Google Play.

A refinement type checker for Rust.

A Git hosting and DevOps platform with an open-source community edition.

A lightweight self-hosted Git service.

A version control system that can use git as a storage backend.