advanced-security vs ProofFlow
advanced-security is a plugin bundle for AI coding tools published by github. Marketplaces we read that list it: 1 (Copilot CLI: github/copilot-plugins). ProofFlow is an MCP server published by Hyperion-GPU. Marketplaces we read that list it: 1 (Official MCP Registry). As of our marketplace pass on 2026-10-12. This pair was picked by a reader, not by our comparison rule, so search engines are asked not to index the page.
Where each is published
| Marketplace |  ProofFlow | |
|---|---|---|
| Copilot CLI: github/copilot-plugins | Listed Version: 1.0.0 Forks (GitHub): 6 Stars (GitHub): 19 Not marked · First seen |
Not listed |
| Official MCP Registry | Not listed | Listed Version: 0.1.2 Forks (GitHub): 3 Stars (GitHub): 49 Not marked · First seen |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
The facts side by side
| Fact | advanced-security | ProofFlow |
|---|---|---|
| Marketplaces that list it | 1 | 1 |
| Stars (GitHub) (differs) | 19 (worse) | 49 (better) |
| Forks (GitHub) (differs) | 6 (better) | 3 (worse) |
| Last release | Not published | Not published |
| Where it runs (differs) | Remote server (api.githubcopilot.com/mcp) | On your machine (proofflow-mcp) |
| Transport (differs) | Streamable HTTP | stdio |
| Tools it declares | Not published | Not published |
| Environment variables it asks for (differs) | Not published | 2, secrets among them: 1 |
| Parts of the bundle (differs) | 3 | Not a bundle |
| Licence | Not stated | Not stated |
| Repository (differs) | github.com/github/copilot-advanced-security-plugin | github.com/hyperion-gpu/proofflow-v0.1 |
| Changes in the last 7 days | 0 | 0 |
| First seen | 2026-10-11 | 2026-10-11 |
| Endpoint at the last check (differs) | not checked yet | no remote endpoint we check |
Lines where the two differ have a tinted background and bold values. Where the data itself says which value is better (more marketplaces, a larger figure of the same marketplace, a fresher release, a verified mark on a marketplace that lists both), the better one is also marked green with ▲ and the worse one red with ▼. Where it runs, the transport, the tools, the settings, hooks, the bundle's parts, the licence and the week's changes are marked only as different: more or fewer is not better in itself.
What each says it does
advanced-security
Advanced Security plugin for GitHub Copilot.
ProofFlow
Audit infrastructure for AI coding agents with evidence-backed review and policy gates.
How to run each
advanced-security
No data for an automatic command: what its marketplaces declare does not say unambiguously how to connect it.
ProofFlow As a local MCP server: PyPI package
claude mcp add --env "PROOFFLOW_API_KEY=<YOUR_PROOFFLOW_API_KEY>" --transport stdio proofflow -- uvx proofflow-mcpRequires: PROOFFLOW_API_KEY (secret)
Commands built only from what the marketplaces declare; the full set for every client is on each card.
Tools each declares
Neither one's marketplaces publish a list of tools, so there is nothing to compare.
Settings each asks for
The marketplaces of advanced-security publish no settings it asks for, so we do not compare settings.
What it can do: advanced-security · What it can do: ProofFlow · Compare two other plugins
Data comes from the public marketplace file https://github.com/github/copilot-plugins/blob/HEAD/.github/plugin/marketplace.json. Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.