SkillsLib.ai

Parcadei

Created July 2026

Claude Skills by Parcadei

Skills (16)

Hook Developer
$35
Tooling4.4(46)
Hook Developer

Build Claude Code hooks with correct schemas, registration, and testing patterns

parcadeiby parcadei
Prove
$25
Backend4.4(46)
Prove

Formal theorem proving with machine verification in Lean 4

parcadeiby parcadei
Implement Task
$35
Full-Stack4.6(48)
Implement Task

Execute discrete implementation tasks with TDD and automated handoff documentation

parcadeiby parcadei
Tdd
$35
Test Automation4.4(44)
Tdd

Write tests first, then code using strict red-green-refactor TDD workflow

parcadeiby parcadei
PreviousPage 2 of 2