Bounty Operator vs. Execute certora-rule-generator-mcp
Bounty Operator ya no aparece en ningún marketplace que leemos: estos son sus últimos datos conocidos, a fecha de 2026‑10‑19.
Bounty Operator es un paquete de plugins para herramientas de programación con IA publicado por Tradi3. Ningún marketplace que leemos lo publica ya. Execute certora-rule-generator-mcp es un servidor MCP publicado por Evozim. Marketplaces que leemos y que lo publican: 1 (Official MCP Registry). Según nuestra pasada por los marketplaces del 2026-10-23. Un plugin de este par ya no aparece en ningún marketplace que leemos, así que pedimos a los buscadores que no indexen la página.
Dónde se publica cada uno
| Marketplace | ||
|---|---|---|
| Marketplace de la comunidad bountyoperator/bounty-operator | Retirado el 2026-10-19 Versión: 0.9.18 Forks (GitHub): 1 Estrellas (GitHub): 4 Sin marca · Visto por primera vez |
No figura |
| Official MCP Registry | No figura | Publicado Versión: 2.0.0 Sin cifra publicada Sin marca · Visto por primera vez |
Cada cifra es del propio marketplace y nunca se suma entre marketplaces. Un marketplace que no publica cifras no muestra ninguna: sin número no es cero.
Los datos lado a lado
| Dato | Bounty Operatorya no está publicado · | Execute certora-rule-generator-mcp |
|---|---|---|
| Marketplaces que lo listan (distinto) | 0 | 1 |
| Estrellas (GitHub) (distinto) | 4 | Sin cifra en GitHub |
| Forks (GitHub) (distinto) | 1 | Sin cifra en GitHub |
| Última versión | No publicado | No publicado |
| Dónde se ejecuta (distinto) | Servidor remoto (bountyoperator.com/api/mcp) | Servidor remoto (api.m2mcent.com/certora-rule-generator-mcp/sse) |
| Transporte (distinto) | Streamable HTTP | SSE |
| Herramientas que declara | No publicado | No publicado |
| Variables de entorno que pide | No publicado | No publicado |
| Partes del paquete (distinto) | 6 | No es un paquete |
| Licencia (distinto) | MIT | Sin indicar |
| Repositorio (distinto) | github.com/bountyoperator/bounty-operator | Sin indicar |
| Cambios en los últimos 7 días (distinto) | 2 | 0 |
| Visto por primera vez (distinto) | 2026-10-13 | 2026-10-11 |
| Endpoint en la última comprobación (distinto) | sin endpoint remoto que comprobemos | Respondió con HTTP 402 (hace 46 h) |
Las líneas en las que difieren tienen fondo tintado y valores en negrita. Ningún valor se marca como mejor o peor: un plugin que ya no publica ningún marketplace se muestra con sus últimos datos conocidos, que no comparamos con cifras actuales.
Qué usar en lugar de «Bounty Operator»
Plugins aún publicados cuyos nombres, descripciones, herramientas y skills son los más cercanos en significado. Comparables, no recomendados.
-
AI security scanner for Solidity + free CC0 dataset of Sherlock audit-competition acceptance rates.
-
AI-powered smart contract security auditor for Claude Code — vuln detection, exploit PoCs, mainnet-fork sims, audit cards, on-chain certificates.
-
Smart-contract security audits for EVM chains and DAML: quote, run and fetch reports.
-
Script-backed, out-of-box auditing workflow for Solidity/EVM repositories. Covers environment bootstrap, vulnerability detection, patch validation, exploit scaffolding, and…
-
MCP security scanner: detect tool poisoning, prompt injection & rug-pulls - 10 OWASP heuristics.
-
Bug bounty triage workflow for HackenProof programs
Qué dice cada uno que hace
Bounty Operator
Challenge a draft report, review Solidity or any code for security bugs on your own model, and run the hosted gauntlet through the Bounty Operator MCP server.
Execute certora-rule-generator-mcp
Premium agentic endpoint for certora-rule-generator-mcp.
Cómo ejecutar cada uno
Bounty Operator
No hay datos para un comando automático: lo que declaran sus marketplaces no dice de forma inequívoca cómo conectarlo.
Execute certora-rule-generator-mcp Como servidor MCP remoto
claude mcp add --transport sse certora-rule-generator-mcp https://api.m2mcent.com/certora-rule-generator-mcp/sse --header "Payment-Signature: <YOUR_PAYMENT_SIGNATURE>"Requiere: cabecera Payment-Signature
Comandos construidos solo con lo que declaran los marketplaces; el conjunto completo para cada cliente está en la ficha de cada uno.
Solo Execute certora-rule-generator-mcp tiene un endpoint remoto que comprobamos. Cómo comprobamos los endpoints
Herramientas que declara cada uno
Los marketplaces de ninguno de los dos publican una lista de herramientas, así que no hay nada que comparar.
Ajustes que pide cada uno
Los marketplaces de ninguno de los dos publican los ajustes que pide.
Qué puede hacer: Bounty Operator · Qué puede hacer: Execute certora-rule-generator-mcp · Comparar otros dos plugins
Datos de Community GitHub marketplaces. Datos de Official MCP Registry. Las cifras proceden de nuestros propios recorridos periódicos por los marketplaces, leída por última vez el . No publicamos datos de contacto de los editores de plugins.