P

How to install Prooflayer Agent Security in Antigravity CLI

To install Prooflayer Agent Security in Antigravity CLI, add the "prooflayer-agent-security" block to the mcpServers section of ~/.gemini/config/mcp_config.json (remote servers use "serverUrl"), then start agy.

Built from the published package · server updated 2 days ago

1. 1

   Open the MCP config

   Create or open ~/.gemini/config/mcp_config.json for every project, or .agents/mcp_config.json for this project only.

2. 2

   Add the server

   Paste this. If the file already has servers, add the "prooflayer-agent-security" entry inside the existing mcpServers block.

   {
     "mcpServers": {
       "prooflayer-agent-security": {
         "command": "npx",
         "args": [
           "-y",
           "prooflayer-agent-security"
         ]
       }
     }
   }

   Copy
3. 3

   Start Antigravity CLI

   Run agy. The server and its tools load when the session starts.

Config file: ~/.gemini/config/mcp_config.json (all projects) or .agents/mcp_config.json (this project)

MCP servers run with your permissions. If Prooflayer Agent Security needs an API key, add it under env in the config. Check its README.

Similar servers

A

Agents MCP electric-sql

94

Model Context Protocol registry, transports, and OAuth bridges for Electric Agents

AAA Local 10k

O

OpenWork MCP Gateway different-ai

94

Your OpenWork org's skills, plugins, workflows, and connections through one OAuth MCP URL.

AFA Remote 24k

M

MCP Remote punkpeye

94

Remote proxy for Model Context Protocol, allowing local-only clients to connect to remote servers using oAuth

AAA Local 505k/wk