Writes and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions. Use when proving theorems in Lean, formalizing mathematics or specifications in Lean 4, defining…
Terminal is for Claude Code, Codex, Cursor and Copilot.
Packed by SkillHub from trailofbits/skills, always the latest version. On a phone: download now, upload later from a computer.
Writes and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions. Use when proving theorems in Lean, formalizing mathematics or specifications in Lean 4, defining…
Selects bounded, graph-informed source slices with Trailmark and delegates focused code analysis or patch-proposal work to a smaller subagent.
Expert guidance for ffuf-based web penetration testing and result analysis.
Best practices for authentication with Better Auth library.