9 skills found
AgriciDaniel / claude-code-essentials-vs-code🚀 Claude Code & VS Code essentials — complete setup guide, extensions, slash commands, skills, and one-click install scripts for Windows.
MarcelRoozekrans / roslyn-codelens-mcpRoslyn-based MCP server giving AI agents deep semantic understanding of .NET/C# codebases — 67 tools for navigation, call graphs, diagnostics & code fixes, safe refactoring, code-quality auditing, test intelligence, DI graphs, and IL/external-assembly inspection.
pouyanafisi / smippoCommand-line website copier and scraper. Create complete offline mirrors with all assets, styles, and dynamic content preserved. Perfect for website duplication, archiving, and offline browsing.
AlanOgic / mcp-odoo-advEnhanced Odoo MCP server (STDIO, SSE, Streamable HTTP)
MadnessEngineering / OmnispindleA comprehensive MCP-based todo management system, that serves as a central nervous system for Madness Interactive, a multi-project task coordination workshop.
espennilsen / cmuxOrchestrate cmux terminal panes — split terminals, run parallel processes, read output from other panes, and use the built-in browser
heytdep / formal-spec-extract-propertiesExtract properties from a formal spec (TLA+/Lean/ProVerif) into AutoSpec's structured format. Classifies each property with id, statement, essence, and type. Works on formal-spec output or any existing formal spec.
getsentry / apiPublic API surface, binary compatibility, and common classes to modify
Dharmik7601 / remote-tailor-resumeGenerate a tailored LaTeX resume from a job description passed directly as an argument
