Continuity Ledger

If you're working through real analysis problems and need to verify continuity rigorously, this gives you a structured approach with symbolic computation backing. It walks you through the three-part definition (function exists at a point, limit exists, they're equal) and provides SymPy commands to check limits from both directions, which matters for piecewise functions. There's also Z3 integration for formal verification. The decision tree is straightforward but thin, basically just the textbook definition translated into tool calls. It's useful if you want automated limit checking instead of doing it by hand, though you'll need the math-mode skill's tooling set up first since this references those scripts.