Query the memory system for relevant learnings from past sessions

Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic

Graceful Degradation with Helpful Messages

MCP Script Rules

Skill Development Rules

Show full session token usage, costs, TLDR savings, and hook activity

Formal theorem proving with research, testing, and verification phases

Index at Creation Time

Create git commits with user approval and no Claude attribution

Environment Triage

Search Mathlib for lemmas by type signature pattern

Scrape web pages and extract content via Firecrawl MCP

Router-First Architecture

Create or update continuity ledger for state preservation across clears

A complete skill for E2E testing

Guide to the math cognitive stack - what tools exist and when to use each

Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates

Idempotent Redundancy

Multi-agent autonomous startup system for Claude Code. Triggers on "Loki Mode". Orchestrates 100+ specialized agents across engineering, QA, DevOps, security, data/ML, business operations,...

Write JavaScript code in n8n Code nodes. Use when writing JavaScript in n8n, using $input/$json/$node syntax, making HTTP requests with $helpers, working with dates using DateTime, troubleshooting...