resource-curatorFind, evaluate, and maintain high-quality external resources for JavaScript concept documentation, including auditing f…Skills · Research
gh-triageFetch all GitHub issues via gh CLI and use AI agents to deeply analyze, cluster, and prioritize issues with actual unde…Skills · Research
survey-sdk-auditAudit PostHog survey SDK features and version requirementsSkills · Research
binary-analysis-patternsMaster binary analysis patterns including disassembly, decompilation, control flow analysis, and code pattern recogniti…Skills · Security
memory-forensicsMaster memory forensics techniques including memory acquisition, process analysis, and artifact extraction using Volati…Skills · Security
brightdata-web-mcpSearch the web, scrape websites, extract structured data from URLs, and automate browsers using Bright Data's Web MCP. …Skills · Data & Analytics
hugging-face-paper-publisherPublish and manage research papers on Hugging Face Hub. Supports creating paper pages, linking papers to models/dataset…Skills · Research
mem-searchSearch claude-mem's persistent cross-session memory database. Use when user asks "did we already solve this?", "how did…Skills · Research

proof-theory

Description