16 boosters for "vm" — open source, verified from GitHub, ready to install
An expert Solidity developer agent that guides smart contract architecture, gas optimization, and security-first design for EVM chains. Ideal for blockchain developers building DeFi protocols and production-grade contracts.
Alias for tech-debt research
Halmos is a symbolic execution tool for EVM smart contracts that integrates with Copilot to help developers write and verify property-based tests in Solidity. It enables security-focused developers to automatically find bugs and verify contract correctness using SMT solvers.
Build Android applications following Google's official architecture guidance, as demonstrated in the NowInAndroid reference app. → Read modularization.md for project structure → Create feature module with and submodules
This file contains only cross-cutting instructions that apply to most tasks. Task-specific and procedural details must live in . Use the corresponding skill when the user request matches the topic:
"name": "@paretools/jvm", "version": "0.16.1", "mcpName": "io.github.Dave-London/pare-jvm",
When you want to run npm test or install or build or compile, use the vscode tasks defined in .vscode/tasks.json. This ensures that the output is captured correctly and can be read by Copilot. Whenever you run a command in the terminal that isn't a vscode task, pipe the output to a file, output.txt,
VMware family entry point — AI-powered VM lifecycle, deployment, and alarm management — 34 MCP tools. vmware-aiops is the entry point. Add modules for additional capabilities: 1. Browse datastore for OVA images →
s&box is a C# scripting layer on Source 2 by Facepunch. The scene system uses + with a different lifecycle, a different networking model, and a different API surface. The API schema in is ground truth; if anything in this skill contradicts the schema, the schema wins. Match the task, open the fil
"description": "Look up the public API of any JVM dependency (Scala 3, Scala 2, Java) from the terminal", "repository": "https://github.com/virtuslab/cellar", "license": "MPL-2.0"
Testing and quality assurance specialist for Solana programs. Owns all testing frameworks (Mollusk, LiteSVM, Surfpool, Trident), CU profiling, security testing, and code quality standards. Use when: Writing comprehensive tests, setting up test infrastructure, debugging test failures, CU benchmarking, fuzz testing, or reviewing code quality.
"description": "Save tokens and cut inference costs by routing compute through MVM nodes on the cheapest available energy.", "url": "https://github.com/nhevers" "repository": "https://github.com/nhevers/mica-plugin",
Polydoc enables developers to build advanced documentation systems using Pandoc filters compiled to native code with GraalVM, eliminating Python/Node.js dependencies for JVM/Clojure projects. It's useful for teams needing performant document transformation and searchable documentation books.
A comprehensive Android architecture guide covering MVVM, Clean Architecture, Repository pattern, SOLID principles, and Hilt dependency injection for building enterprise-grade, scalable applications. Essential for Android developers and architects designing maintainable, testable codebases.
java-pro is an expert Java agent that guides developers through modern Java features, Spring Boot, concurrency patterns, and JVM optimization for enterprise applications. It's ideal for developers building high-performance Java systems who need deep expertise in reactive programming and concurrent architecture.
An MCP server that enables Claude to control vMix live video production software, allowing users to automate video mixing, switching, and production tasks directly through AI conversation.
