ai-coding-assistants

MathCode is a terminal AI coding agent for mathematical formalization: it turns plain-language math problems into Lean 4 theorems and attempts formal proofs, with a persistent Lean REPL and supporting theorem/axiom libraries.

Open-source package manager for AI coding assistants that helps teams share, version, and scope skills, MCP configs, commands, and other AI assets across tools and projects.

A self-learning skill layer for Claude Code that distills skills from real sessions, merges near-duplicates, updates skills in use, and prunes unused ones.

Beckon is a Rust CLI that plays different sounds for AI coding agent events such as completion, blockers, failures, and throttling. It supports installs, configurable packs, per-project behavior, and custom audio overrides.