Skill Explorer
Searching protocol for "post-mortem"
prove-plus-comm
OfficialComplete Coq proofs by induction with standard lemmas.
Advanced
byletta-ai
content-organization
OfficialOrganize complex content for fast, scalable learning
Advanced
bypanaversity
architecture-decision-recorder
OfficialDocument architectural decisions, preserve project history.
No Config
byHyperscapeAI
objection-pattern-detector
OfficialTurn lost deals into winning playbooks, effortlessly.
No Config
byOneWave-AI
// End of Stream //