paperproof-validator
Formal Proof Visualization and Verification for Lean 4
Explore
19,889 skills indexed with the new KISS metadata standard.
Formal Proof Visualization and Verification for Lean 4
mild grain
controlled highlights
Creates browser-executable JavaScript bookmarklets with strict formatting requirements. Use when users mention bookmarklets, browser utilities, dragging code to bookmarks bar, or need JavaScript that runs when clicked in the browser toolbar.
Clarify requirements before implementing. Use when serious doubts arise.
urban
Web research with Graph-of-Thoughts for fast-changing topics. Use when user requests research, analysis, investigation, or comparison requiring current information. Features hypothesis testing, source triangulation, claim verification, Red Team, self-critique, and gap analysis. Supports Quick/Standard/Deep/Exhaustive tiers. Creative Mode for cross-industry innovation.
background motion blur allowed
slightly cool subway contrast
Merges GitHub Pull Requests after validating pre-merge checklist. Use when user wants to merge PR, close PR, finalize PR, complete merge, approve and merge, or execute merge. Runs pre-merge validation (tests, lint, CI, comments), confirms with user, merges with proper format, handles post-merge cleanup.
slightly serious
leading lines from platform
calm posture
other in pocket
platform breeze subtle
realistic shadows
{
21-29
warped mug
logos
face morphing
plastic skin
slight noise
crisp micro-contrast