mysticflounder

Popular repositories Loading

1. super-cow-powers super-cow-powers Public

   A Claude Code skill for Debian packaging. Conventions, templates, and validation checklists — with deep dh-virtualenv support for Python projects.

   Shell 4 1

2. dombot dombot Public

   Browser extension: a collapsible chat panel on every page backed by your own Ollama, with DOM tools and saved changes that replay on load

   JavaScript 2

3. collatz collatz Public

   Collatz conjecture work with Claude

   Python 1

4. equational-magma-theorems equational-magma-theorems Public

   Lean 4 formalization of the Spine Isolation Theorem for Magma Implications

   Lean 1

5. modular-schur modular-schur Public

   Lean 1 1

6. lean-usage lean-usage Public

   Lean 4 build governance plugin (lake-build wrapper, hooks, skills) and the Lean build throughput engineering report

   Python 1