21 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.
Implement UVM-based hardware verification testbenches — stimulus generation, scoreboarding, coverage-driven verification, and assertion-based testing.
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 robust native Android applications using Kotlin with modern architecture patterns, Jetpack libraries, and Compose for declarative UI.
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": "open-ontologies", "description": "A Terraforming MCP for Knowledge Graphs: validate, classify, and govern AI-generated ontologies.", "name": "fabio-rovai"
"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,
"name": "jdb-debugger", "description": "Debug Java applications in real time using JDB (Java Debugger CLI). Attach to running JVMs or launch new ones under JDB, set breakpoints, step through code, inspect variables, analyze threads, and diagnose exceptions.", "development-tools",
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.
"name": "jvm-pulse", "description": "Profile any Java project's garbage collection and JFR telemetry: capture (locally, attached to a running JVM, or in a container), analyze with GCToolkit + jfr, and get a shareable static HTML report.", "name": "Bruno Borges",
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.
"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.
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.
