Agent harness to make your slop code well-engineered and beautiful.

Emacs major mode for Lean 4

An ACP (Agent Client Protocol) implementation in Emacs lisp as per https://agentclientprotocol.com

swap usage monitor written in rust

Show cognitive complexity of code in Emacs 29+ (treesit-based)

Loads environment variables from .env for nodejs projects.

Emacs Org-mode integration with Model Context Protocol (MCP) for AI-assisted task management

Bear is a tool that generates a compilation database for clang tooling.

Stressful Application Test - userspace memory and IO test

Emacs mode for editing and running Bats tests

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

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

Project management tool for Emacs

Multi-GPU CUDA stress test

Autonomous multi-session AI coding

Modular Python framework for AI agents and workflows with chain-of-thought reasoning, tools, and memory.

A MCP server for symbolic manipulation of mathematical expressions

Lean Theorem Prover MCP

A community database for the problems on the erdosproblems.com site

Real-time guardrails for Claude Code tool calls.

Repo for GL.iNet MT6000 custom build

A powerful GUI app and Toolkit for Claude Code - Create custom agents, manage interactive Claude Code sessions, run secure background agents, and more.

Network documentation that updates itself.

Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured

bloom - evaluate any behavior immediately  🌸🌱

Claude Code and Codex API Routing Proxy

Kosmos: An AI Scientist for Autonomous Discovery - An implementation and adaptation to be driven by Claude Code or API - Based on the Kosmos AI Paper - https://arxiv.org/abs/2511.02824

An implementation of the Codemode workflow detailed by Cloudflare.

Wrapper around tool using LLMs for agentic workflows

A collection of my favorite custom Claude Code resources to make life easier.