{"art":"mcp_server","schluessel":"io.github.Evozim/certora-rule-generator-mcp","slug":"io-github-evozim-certora-rule-generator-mcp","name":"Execute certora-rule-generator-mcp","status":"aktiv","homepage":null,"paket_koordinate":"name:io.github.Evozim/certora-rule-generator-mcp","indexierbar":true,"anbietertext":{"text":"Premium agentic endpoint for certora-rule-generator-mcp.","sprache":"en","uebersetzt":false,"geprueft":false,"quelle":"Anbieter"},"adresse":"/api/v1/eintrag/mcp_server/io-github-evozim-certora-rule-generator-mcp"}