Stars
Open source Ghostty-based macOS terminal with vertical tabs and notifications for AI coding agents. Built for multitasking, organization, and programmability.
The agent that grows with you
📑 PageIndex: Document Index for Vectorless, Reasoning-based RAG
AI coding jargon, explained in plain English.
Open-source AI penetration testing tool to find and fix your app’s vulnerabilities.
A Claude Code plugin that shows what's happening - context usage, active tools, running agents, and todo progress
A Claude Code skill that turns any codebase into a beautiful, interactive single-page HTML course for non-technical vibe coders.
Convert any text to a graph of knowledge. This can be used for Graph Augmented Generation or Knowledge Graph based QnA
MARVIN is your personal AI assistant that can help you connect to the apps you need and handle your day.
An agentic skills framework & software development methodology that works.
Lean 3's obsolete mathematical components library: please use mathlib4
a Python library for working with gridded permutation and tilings
a Python library for combinatorial exploration
Rules for combining mesh patterns to add additional restrictions
Generation of Homework sets for SageMathCloud