Blueprint for the PNT+ Project

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

Cross-platform, fast, feature-rich, GPU based terminal

Real-time TUI monitor for swap, NUMA topology, and GPU memory (Linux)

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

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

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

AI coding agent, built for the terminal.

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

Linux kernel source tree

Claude skills for Lean 4 theorem proving

Multi-GPU CUDA stress test

Autonomous multi-session AI coding

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

Lean Theorem Prover MCP

Unified emacs interface supporting Claude Code, Gemini CLI, OpenAI Codex, Opencode, GitHub Copilot CLI, and more

Real-time guardrails for Claude Code tool calls.

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

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

Clean network diagrams. One-time setup, zero upkeep.

bloom - evaluate any behavior immediately  🌸🌱

Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.

A native elisp coding agent running in Emacs

Big & Small LLMs working together

Editor Code Assistant (ECA) - AI pair programming capabilities agnostic of editor

Editor Code Assistant (ECA) integration for Emacs

A coherent Ansible roles collection to simply deploy clusters of nodes.

🎒 Token-Oriented Object Notation (TOON) – Compact, human-readable, schema-aware JSON for LLM prompts. Spec, benchmarks, TypeScript SDK.

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