$ grep -c "^@mcp.tool" server.py
21